Symbol: WARMBOOT_TARGET
sys/platform/pc64/x86_64/mp_machdep.c
446
*((volatile u_short *) WARMBOOT_OFF) = WARMBOOT_TARGET;
sys/platform/pc64/x86_64/mp_machdep.c
516
*((volatile u_short *) WARMBOOT_OFF) = WARMBOOT_TARGET;