Symbol: BIOS_VADDRTOPADDR
sys/amd64/amd64/bios.c
89
return((u_int32_t)(uintptr_t)BIOS_VADDRTOPADDR(sp));
sys/i386/i386/bios.c
227
return((u_int32_t)BIOS_VADDRTOPADDR(sp));