Symbol: BIOS_WARM
sys/platform/pc64/x86_64/mp_machdep.c
449
outb(CMOS_DATA, BIOS_WARM); /* 'warm-start' */
sys/platform/pc64/x86_64/mp_machdep.c
519
outb(CMOS_DATA, BIOS_WARM); /* 'warm-start' */