Symbol: BIOS_BASE
sys/platform/pc64/x86_64/mptable.c
290
target = (u_int32_t)BIOS_BASE;
usr.sbin/mptable/mptable.c
472
printf( " searching BIOS @ 0x%08x\n", BIOS_BASE );
usr.sbin/mptable/mptable.c
474
if ((x = findMpSig(BIOS_BASE, BIOS_SIZE)) != -1) {