parse-events.c 15.9 KB
Newer Older
1 2 3 4 5 6

#include "../perf.h"
#include "util.h"
#include "parse-options.h"
#include "parse-events.h"
#include "exec_cmd.h"
7
#include "string.h"
8
#include "cache.h"
9

10 11
extern char *strcasestr(const char *haystack, const char *needle);

12
int					nr_counters;
13

14
struct perf_counter_attr		attrs[MAX_COUNTERS];
15 16

struct event_symbol {
17 18 19 20
	u8		type;
	u64		config;
	const char	*symbol;
	const char	*alias;
21 22
};

23 24
char debugfs_path[MAXPATHLEN];

25 26
#define CHW(x) .type = PERF_TYPE_HARDWARE, .config = PERF_COUNT_HW_##x
#define CSW(x) .type = PERF_TYPE_SOFTWARE, .config = PERF_COUNT_SW_##x
27

28
static struct event_symbol event_symbols[] = {
29 30 31 32 33 34 35 36 37 38
  { CHW(CPU_CYCLES),		"cpu-cycles",		"cycles"	},
  { CHW(INSTRUCTIONS),		"instructions",		""		},
  { CHW(CACHE_REFERENCES),	"cache-references",	""		},
  { CHW(CACHE_MISSES),		"cache-misses",		""		},
  { CHW(BRANCH_INSTRUCTIONS),	"branch-instructions",	"branches"	},
  { CHW(BRANCH_MISSES),		"branch-misses",	""		},
  { CHW(BUS_CYCLES),		"bus-cycles",		""		},

  { CSW(CPU_CLOCK),		"cpu-clock",		""		},
  { CSW(TASK_CLOCK),		"task-clock",		""		},
39
  { CSW(PAGE_FAULTS),		"page-faults",		"faults"	},
40 41 42 43
  { CSW(PAGE_FAULTS_MIN),	"minor-faults",		""		},
  { CSW(PAGE_FAULTS_MAJ),	"major-faults",		""		},
  { CSW(CONTEXT_SWITCHES),	"context-switches",	"cs"		},
  { CSW(CPU_MIGRATIONS),	"cpu-migrations",	"migrations"	},
44 45
};

46 47 48 49 50 51 52 53
#define __PERF_COUNTER_FIELD(config, name) \
	((config & PERF_COUNTER_##name##_MASK) >> PERF_COUNTER_##name##_SHIFT)

#define PERF_COUNTER_RAW(config)	__PERF_COUNTER_FIELD(config, RAW)
#define PERF_COUNTER_CONFIG(config)	__PERF_COUNTER_FIELD(config, CONFIG)
#define PERF_COUNTER_TYPE(config)	__PERF_COUNTER_FIELD(config, TYPE)
#define PERF_COUNTER_ID(config)		__PERF_COUNTER_FIELD(config, EVENT)

54
static const char *hw_event_names[] = {
55
	"cycles",
56
	"instructions",
57 58
	"cache-references",
	"cache-misses",
59
	"branches",
60 61
	"branch-misses",
	"bus-cycles",
62 63
};

64
static const char *sw_event_names[] = {
I
Ingo Molnar 已提交
65 66
	"cpu-clock-msecs",
	"task-clock-msecs",
67 68 69 70 71
	"page-faults",
	"context-switches",
	"CPU-migrations",
	"minor-faults",
	"major-faults",
72 73
};

74 75
#define MAX_ALIASES 8

76
static const char *hw_cache[][MAX_ALIASES] = {
77 78
 { "L1-dcache",	"l1-d",		"l1d",		"L1-data",		},
 { "L1-icache",	"l1-i",		"l1i",		"L1-instruction",	},
79 80 81 82
 { "LLC",	"L2"							},
 { "dTLB",	"d-tlb",	"Data-TLB",				},
 { "iTLB",	"i-tlb",	"Instruction-TLB",			},
 { "branch",	"branches",	"bpu",		"btb",		"bpc",	},
83 84
};

85
static const char *hw_cache_op[][MAX_ALIASES] = {
86 87 88
 { "load",	"loads",	"read",					},
 { "store",	"stores",	"write",				},
 { "prefetch",	"prefetches",	"speculative-read", "speculative-load",	},
89 90
};

91
static const char *hw_cache_result[][MAX_ALIASES] = {
92 93
 { "refs",	"Reference",	"ops",		"access",		},
 { "misses",	"miss",							},
94 95
};

96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115
#define C(x)		PERF_COUNT_HW_CACHE_##x
#define CACHE_READ	(1 << C(OP_READ))
#define CACHE_WRITE	(1 << C(OP_WRITE))
#define CACHE_PREFETCH	(1 << C(OP_PREFETCH))
#define COP(x)		(1 << x)

/*
 * cache operartion stat
 * L1I : Read and prefetch only
 * ITLB and BPU : Read-only
 */
static unsigned long hw_cache_stat[C(MAX)] = {
 [C(L1D)]	= (CACHE_READ | CACHE_WRITE | CACHE_PREFETCH),
 [C(L1I)]	= (CACHE_READ | CACHE_PREFETCH),
 [C(LL)]	= (CACHE_READ | CACHE_WRITE | CACHE_PREFETCH),
 [C(DTLB)]	= (CACHE_READ | CACHE_WRITE | CACHE_PREFETCH),
 [C(ITLB)]	= (CACHE_READ),
 [C(BPU)]	= (CACHE_READ),
};

116 117
#define for_each_subsystem(sys_dir, sys_dirent, sys_next, file, st)	       \
	while (!readdir_r(sys_dir, &sys_dirent, &sys_next) && sys_next)	       \
118 119
	if (snprintf(file, MAXPATHLEN, "%s/%s", debugfs_path,	       	       \
			sys_dirent.d_name) &&		       		       \
120 121 122 123
	   (!stat(file, &st)) && (S_ISDIR(st.st_mode)) &&		       \
	   (strcmp(sys_dirent.d_name, ".")) &&				       \
	   (strcmp(sys_dirent.d_name, "..")))

124 125 126 127 128 129 130 131 132 133 134 135 136 137 138
static int tp_event_has_id(struct dirent *sys_dir, struct dirent *evt_dir)
{
	char evt_path[MAXPATHLEN];
	int fd;

	snprintf(evt_path, MAXPATHLEN, "%s/%s/%s/id", debugfs_path,
			sys_dir->d_name, evt_dir->d_name);
	fd = open(evt_path, O_RDONLY);
	if (fd < 0)
		return -EINVAL;
	close(fd);

	return 0;
}

139 140
#define for_each_event(sys_dirent, evt_dir, evt_dirent, evt_next, file, st)    \
	while (!readdir_r(evt_dir, &evt_dirent, &evt_next) && evt_next)        \
141 142
	if (snprintf(file, MAXPATHLEN, "%s/%s/%s", debugfs_path,	       \
		     sys_dirent.d_name, evt_dirent.d_name) &&		       \
143 144
	   (!stat(file, &st)) && (S_ISDIR(st.st_mode)) &&		       \
	   (strcmp(evt_dirent.d_name, ".")) &&				       \
145 146
	   (strcmp(evt_dirent.d_name, "..")) &&				       \
	   (!tp_event_has_id(&sys_dirent, &evt_dirent)))
147 148 149

#define MAX_EVENT_LENGTH 30

150
int valid_debugfs_mount(const char *debugfs)
151 152 153
{
	struct statfs st_fs;

154
	if (statfs(debugfs, &st_fs) < 0)
155 156 157 158 159 160
		return -ENOENT;
	else if (st_fs.f_type != (long) DEBUGFS_MAGIC)
		return -ENOENT;
	return 0;
}

161
struct tracepoint_path *tracepoint_id_to_path(u64 config)
162
{
163
	struct tracepoint_path *path = NULL;
164 165 166 167 168 169 170 171
	DIR *sys_dir, *evt_dir;
	struct dirent *sys_next, *evt_next, sys_dirent, evt_dirent;
	struct stat st;
	char id_buf[4];
	int fd;
	u64 id;
	char evt_path[MAXPATHLEN];

172
	if (valid_debugfs_mount(debugfs_path))
173
		return NULL;
174

175
	sys_dir = opendir(debugfs_path);
176 177 178 179 180 181 182 183 184 185
	if (!sys_dir)
		goto cleanup;

	for_each_subsystem(sys_dir, sys_dirent, sys_next, evt_path, st) {
		evt_dir = opendir(evt_path);
		if (!evt_dir)
			goto cleanup;
		for_each_event(sys_dirent, evt_dir, evt_dirent, evt_next,
								evt_path, st) {
			snprintf(evt_path, MAXPATHLEN, "%s/%s/%s/id",
186
				 debugfs_path, sys_dirent.d_name,
187 188 189 190 191 192 193 194 195 196 197 198 199
				 evt_dirent.d_name);
			fd = open(evt_path, O_RDONLY);
			if (fd < 0)
				continue;
			if (read(fd, id_buf, sizeof(id_buf)) < 0) {
				close(fd);
				continue;
			}
			close(fd);
			id = atoll(id_buf);
			if (id == config) {
				closedir(evt_dir);
				closedir(sys_dir);
200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216
				path = calloc(1, sizeof(path));
				path->system = malloc(MAX_EVENT_LENGTH);
				if (!path->system) {
					free(path);
					return NULL;
				}
				path->name = malloc(MAX_EVENT_LENGTH);
				if (!path->name) {
					free(path->system);
					free(path);
					return NULL;
				}
				strncpy(path->system, sys_dirent.d_name,
					MAX_EVENT_LENGTH);
				strncpy(path->name, evt_dirent.d_name,
					MAX_EVENT_LENGTH);
				return path;
217 218 219 220 221 222 223
			}
		}
		closedir(evt_dir);
	}

cleanup:
	closedir(sys_dir);
224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242
	return NULL;
}

#define TP_PATH_LEN (MAX_EVENT_LENGTH * 2 + 1)
static const char *tracepoint_id_to_name(u64 config)
{
	static char buf[TP_PATH_LEN];
	struct tracepoint_path *path;

	path = tracepoint_id_to_path(config);
	if (path) {
		snprintf(buf, TP_PATH_LEN, "%s:%s", path->system, path->name);
		free(path->name);
		free(path->system);
		free(path);
	} else
		snprintf(buf, TP_PATH_LEN, "%s:%s", "unknown", "unknown");

	return buf;
243 244
}

245 246 247 248 249 250 251 252
static int is_cache_op_valid(u8 cache_type, u8 cache_op)
{
	if (hw_cache_stat[cache_type] & COP(cache_op))
		return 1;	/* valid */
	else
		return 0;	/* invalid */
}

253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268
static char *event_cache_name(u8 cache_type, u8 cache_op, u8 cache_result)
{
	static char name[50];

	if (cache_result) {
		sprintf(name, "%s-%s-%s", hw_cache[cache_type][0],
			hw_cache_op[cache_op][0],
			hw_cache_result[cache_result][0]);
	} else {
		sprintf(name, "%s-%s", hw_cache[cache_type][0],
			hw_cache_op[cache_op][1]);
	}

	return name;
}

269
const char *event_name(int counter)
270
{
271
	u64 config = attrs[counter].config;
272
	int type = attrs[counter].type;
273 274 275 276

	return __event_name(type, config);
}

277
const char *__event_name(int type, u64 config)
278
{
279 280
	static char buf[32];

281
	if (type == PERF_TYPE_RAW) {
282
		sprintf(buf, "raw 0x%llx", config);
283 284 285 286 287
		return buf;
	}

	switch (type) {
	case PERF_TYPE_HARDWARE:
288
		if (config < PERF_COUNT_HW_MAX)
289
			return hw_event_names[config];
290 291
		return "unknown-hardware";

292
	case PERF_TYPE_HW_CACHE: {
293
		u8 cache_type, cache_op, cache_result;
294 295 296 297 298 299

		cache_type   = (config >>  0) & 0xff;
		if (cache_type > PERF_COUNT_HW_CACHE_MAX)
			return "unknown-ext-hardware-cache-type";

		cache_op     = (config >>  8) & 0xff;
300 301
		if (cache_op > PERF_COUNT_HW_CACHE_OP_MAX)
			return "unknown-ext-hardware-cache-op";
302 303

		cache_result = (config >> 16) & 0xff;
304 305
		if (cache_result > PERF_COUNT_HW_CACHE_RESULT_MAX)
			return "unknown-ext-hardware-cache-result";
306

307 308
		if (!is_cache_op_valid(cache_type, cache_op))
			return "invalid-cache";
309

310
		return event_cache_name(cache_type, cache_op, cache_result);
311 312
	}

313
	case PERF_TYPE_SOFTWARE:
314
		if (config < PERF_COUNT_SW_MAX)
315
			return sw_event_names[config];
316 317
		return "unknown-software";

318 319 320
	case PERF_TYPE_TRACEPOINT:
		return tracepoint_id_to_name(config);

321 322 323 324 325 326 327
	default:
		break;
	}

	return "unknown";
}

328
static int parse_aliases(const char **str, const char *names[][MAX_ALIASES], int size)
329 330
{
	int i, j;
331
	int n, longest = -1;
332 333

	for (i = 0; i < size; i++) {
334 335 336 337 338 339 340 341
		for (j = 0; j < MAX_ALIASES && names[i][j]; j++) {
			n = strlen(names[i][j]);
			if (n > longest && !strncasecmp(*str, names[i][j], n))
				longest = n;
		}
		if (longest > 0) {
			*str += longest;
			return i;
342 343 344
		}
	}

345
	return -1;
346 347
}

348
static int
349
parse_generic_hw_event(const char **str, struct perf_counter_attr *attr)
350
{
351 352
	const char *s = *str;
	int cache_type = -1, cache_op = -1, cache_result = -1;
353

354
	cache_type = parse_aliases(&s, hw_cache, PERF_COUNT_HW_CACHE_MAX);
355 356 357 358 359
	/*
	 * No fallback - if we cannot get a clear cache type
	 * then bail out:
	 */
	if (cache_type == -1)
360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388
		return 0;

	while ((cache_op == -1 || cache_result == -1) && *s == '-') {
		++s;

		if (cache_op == -1) {
			cache_op = parse_aliases(&s, hw_cache_op,
						PERF_COUNT_HW_CACHE_OP_MAX);
			if (cache_op >= 0) {
				if (!is_cache_op_valid(cache_type, cache_op))
					return 0;
				continue;
			}
		}

		if (cache_result == -1) {
			cache_result = parse_aliases(&s, hw_cache_result,
						PERF_COUNT_HW_CACHE_RESULT_MAX);
			if (cache_result >= 0)
				continue;
		}

		/*
		 * Can't parse this as a cache op or result, so back up
		 * to the '-'.
		 */
		--s;
		break;
	}
389 390 391 392

	/*
	 * Fall back to reads:
	 */
393 394
	if (cache_op == -1)
		cache_op = PERF_COUNT_HW_CACHE_OP_READ;
395 396 397 398 399 400 401 402 403 404

	/*
	 * Fall back to accesses:
	 */
	if (cache_result == -1)
		cache_result = PERF_COUNT_HW_CACHE_RESULT_ACCESS;

	attr->config = cache_type | (cache_op << 8) | (cache_result << 16);
	attr->type = PERF_TYPE_HW_CACHE;

405 406
	*str = s;
	return 1;
407 408
}

409 410 411 412
static int parse_tracepoint_event(const char **strp,
				    struct perf_counter_attr *attr)
{
	const char *evt_name;
413
	char *flags;
414 415 416 417 418 419 420
	char sys_name[MAX_EVENT_LENGTH];
	char id_buf[4];
	int fd;
	unsigned int sys_length, evt_length;
	u64 id;
	char evt_path[MAXPATHLEN];

421
	if (valid_debugfs_mount(debugfs_path))
422 423 424 425 426 427 428 429 430 431 432 433 434
		return 0;

	evt_name = strchr(*strp, ':');
	if (!evt_name)
		return 0;

	sys_length = evt_name - *strp;
	if (sys_length >= MAX_EVENT_LENGTH)
		return 0;

	strncpy(sys_name, *strp, sys_length);
	sys_name[sys_length] = '\0';
	evt_name = evt_name + 1;
435 436 437 438 439 440 441 442 443

	flags = strchr(evt_name, ':');
	if (flags) {
		*flags = '\0';
		flags++;
		if (!strncmp(flags, "record", strlen(flags)))
			attr->sample_type |= PERF_SAMPLE_RAW;
	}

444 445 446 447
	evt_length = strlen(evt_name);
	if (evt_length >= MAX_EVENT_LENGTH)
		return 0;

448 449
	snprintf(evt_path, MAXPATHLEN, "%s/%s/%s/id", debugfs_path,
		 sys_name, evt_name);
450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465
	fd = open(evt_path, O_RDONLY);
	if (fd < 0)
		return 0;

	if (read(fd, id_buf, sizeof(id_buf)) < 0) {
		close(fd);
		return 0;
	}
	close(fd);
	id = atoll(id_buf);
	attr->config = id;
	attr->type = PERF_TYPE_TRACEPOINT;
	*strp = evt_name + evt_length;
	return 1;
}

466 467
static int check_events(const char *str, unsigned int i)
{
468
	int n;
469

470 471 472 473 474 475 476 477
	n = strlen(event_symbols[i].symbol);
	if (!strncmp(str, event_symbols[i].symbol, n))
		return n;

	n = strlen(event_symbols[i].alias);
	if (n)
		if (!strncmp(str, event_symbols[i].alias, n))
			return n;
478 479 480
	return 0;
}

481 482
static int
parse_symbolic_event(const char **strp, struct perf_counter_attr *attr)
483
{
484
	const char *str = *strp;
485
	unsigned int i;
486
	int n;
487

488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504
	for (i = 0; i < ARRAY_SIZE(event_symbols); i++) {
		n = check_events(str, i);
		if (n > 0) {
			attr->type = event_symbols[i].type;
			attr->config = event_symbols[i].config;
			*strp = str + n;
			return 1;
		}
	}
	return 0;
}

static int parse_raw_event(const char **strp, struct perf_counter_attr *attr)
{
	const char *str = *strp;
	u64 config;
	int n;
505

506
	if (*str != 'r')
507
		return 0;
508 509 510 511 512 513
	n = hex2u64(str + 1, &config);
	if (n > 0) {
		*strp = str + n + 1;
		attr->type = PERF_TYPE_RAW;
		attr->config = config;
		return 1;
514
	}
515 516
	return 0;
}
517

518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534
static int
parse_numeric_event(const char **strp, struct perf_counter_attr *attr)
{
	const char *str = *strp;
	char *endp;
	unsigned long type;
	u64 config;

	type = strtoul(str, &endp, 0);
	if (endp > str && type < PERF_TYPE_MAX && *endp == ':') {
		str = endp + 1;
		config = strtoul(str, &endp, 0);
		if (endp > str) {
			attr->type = type;
			attr->config = config;
			*strp = endp;
			return 1;
535
		}
536 537 538 539 540 541 542 543 544
	}
	return 0;
}

static int
parse_event_modifier(const char **strp, struct perf_counter_attr *attr)
{
	const char *str = *strp;
	int eu = 1, ek = 1, eh = 1;
545

546
	if (*str++ != ':')
547
		return 0;
548 549 550 551 552 553 554 555 556 557
	while (*str) {
		if (*str == 'u')
			eu = 0;
		else if (*str == 'k')
			ek = 0;
		else if (*str == 'h')
			eh = 0;
		else
			break;
		++str;
558
	}
559 560 561 562 563 564 565 566 567
	if (str >= *strp + 2) {
		*strp = str;
		attr->exclude_user   = eu;
		attr->exclude_kernel = ek;
		attr->exclude_hv     = eh;
		return 1;
	}
	return 0;
}
568

569 570 571 572 573 574
/*
 * Each event can have multiple symbolic names.
 * Symbolic names are (almost) exactly matched.
 */
static int parse_event_symbols(const char **str, struct perf_counter_attr *attr)
{
575 576
	if (!(parse_tracepoint_event(str, attr) ||
	      parse_raw_event(str, attr) ||
577 578 579 580
	      parse_numeric_event(str, attr) ||
	      parse_symbolic_event(str, attr) ||
	      parse_generic_hw_event(str, attr)))
		return 0;
581

582
	parse_event_modifier(str, attr);
583

584
	return 1;
585 586
}

587
int parse_events(const struct option *opt __used, const char *str, int unset __used)
588
{
589
	struct perf_counter_attr attr;
590

591 592 593 594 595 596 597
	for (;;) {
		if (nr_counters == MAX_COUNTERS)
			return -1;

		memset(&attr, 0, sizeof(attr));
		if (!parse_event_symbols(&str, &attr))
			return -1;
598

599 600
		if (!(*str == 0 || *str == ',' || isspace(*str)))
			return -1;
601

602 603
		attrs[nr_counters] = attr;
		nr_counters++;
604

605 606 607 608 609 610
		if (*str == 0)
			break;
		if (*str == ',')
			++str;
		while (isspace(*str))
			++str;
611 612 613 614 615
	}

	return 0;
}

616 617 618 619 620 621 622 623
static const char * const event_type_descriptors[] = {
	"",
	"Hardware event",
	"Software event",
	"Tracepoint event",
	"Hardware cache event",
};

624 625 626 627 628 629 630 631 632 633 634
/*
 * Print the events from <debugfs_mount_point>/tracing/events
 */

static void print_tracepoint_events(void)
{
	DIR *sys_dir, *evt_dir;
	struct dirent *sys_next, *evt_next, sys_dirent, evt_dirent;
	struct stat st;
	char evt_path[MAXPATHLEN];

635
	if (valid_debugfs_mount(debugfs_path))
636 637
		return;

638
	sys_dir = opendir(debugfs_path);
639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659
	if (!sys_dir)
		goto cleanup;

	for_each_subsystem(sys_dir, sys_dirent, sys_next, evt_path, st) {
		evt_dir = opendir(evt_path);
		if (!evt_dir)
			goto cleanup;
		for_each_event(sys_dirent, evt_dir, evt_dirent, evt_next,
								evt_path, st) {
			snprintf(evt_path, MAXPATHLEN, "%s:%s",
				 sys_dirent.d_name, evt_dirent.d_name);
			fprintf(stderr, "  %-40s [%s]\n", evt_path,
				event_type_descriptors[PERF_TYPE_TRACEPOINT+1]);
		}
		closedir(evt_dir);
	}

cleanup:
	closedir(sys_dir);
}

660
/*
661
 * Print the help text for the event symbols:
662
 */
663
void print_events(void)
664
{
665
	struct event_symbol *syms = event_symbols;
666
	unsigned int i, type, op, prev_type = -1;
667
	char name[40];
668

669 670
	fprintf(stderr, "\n");
	fprintf(stderr, "List of pre-defined events (to be used in -e):\n");
671

672 673
	for (i = 0; i < ARRAY_SIZE(event_symbols); i++, syms++) {
		type = syms->type + 1;
674
		if (type >= ARRAY_SIZE(event_type_descriptors))
675
			type = 0;
676

677 678
		if (type != prev_type)
			fprintf(stderr, "\n");
679

680 681 682 683 684
		if (strlen(syms->alias))
			sprintf(name, "%s OR %s", syms->symbol, syms->alias);
		else
			strcpy(name, syms->symbol);
		fprintf(stderr, "  %-40s [%s]\n", name,
685
			event_type_descriptors[type]);
686

687
		prev_type = type;
688 689
	}

690 691 692 693 694 695 696 697 698 699 700 701 702 703 704
	fprintf(stderr, "\n");
	for (type = 0; type < PERF_COUNT_HW_CACHE_MAX; type++) {
		for (op = 0; op < PERF_COUNT_HW_CACHE_OP_MAX; op++) {
			/* skip invalid cache type */
			if (!is_cache_op_valid(type, op))
				continue;

			for (i = 0; i < PERF_COUNT_HW_CACHE_RESULT_MAX; i++) {
				fprintf(stderr, "  %-40s [%s]\n",
					event_cache_name(type, op, i),
					event_type_descriptors[4]);
			}
		}
	}

705
	fprintf(stderr, "\n");
706
	fprintf(stderr, "  %-40s [raw hardware event descriptor]\n",
707 708 709
		"rNNN");
	fprintf(stderr, "\n");

710 711
	print_tracepoint_events();

712
	exit(129);
713
}