Symbol: BIOS_NUM_SHIFT
usr/src/uts/i86pc/boot/boot_keyboard.c
320
~BIOS_NUM_SHIFT);
usr/src/uts/i86pc/boot/boot_keyboard.c
427
if (!(peek8(kb_flag_1) & BIOS_NUM_SHIFT)) {
usr/src/uts/i86pc/boot/boot_keyboard.c
428
poke8(kb_flag_1, peek8(kb_flag_1) | BIOS_NUM_SHIFT);