bsd/kern/kdebug.c

1403 	unsigned int val_1, val_2, val;
1410 		val_1 = (kdr->value1 & 0xff);
1413 		if (val_1 == DBG_FSYSTEM && val_2 == (DBG_FSYSTEM + 1))
1416 		kdlog_beg = (val_1<<24);
1424 		val_1 = (kdr->value1 & 0xff);
1427 		kdlog_beg = ((val_1<<24) | (val_2 << 16));
1428 		kdlog_end = ((val_1<<24) | (val << 16));
1477 	unsigned int val_1, val_2, val;
1481 		val_1 = (kdr->value1 & 0xff);
1482 		val_2 = val_1 + 1;
1483 		kdlog_beg = (val_1<<24);
1489 		val_1 = (kdr->value1 & 0xff);
1492 		kdlog_beg = ((val_1<<24) | (val_2 << 16));
1493 		kdlog_end = ((val_1<<24) | (val << 16));