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