Symbol: WARMBOOT_SEG
sys/platform/pc64/x86_64/mp_machdep.c
447
*((volatile u_short *) WARMBOOT_SEG) = (boot_address >> 4);
sys/platform/pc64/x86_64/mp_machdep.c
517
*((volatile u_short *) WARMBOOT_SEG) = (boot_addr >> 4);