Symbol: BIOS_BASE
sys/x86/x86/mptable.c
291
target = (u_int32_t) BIOS_BASE;
usr.sbin/mptable/mptable.c
334
printf( " searching BIOS @ 0x%08x\n", BIOS_BASE );
usr.sbin/mptable/mptable.c
335
seekEntry( BIOS_BASE );
usr.sbin/mptable/mptable.c
341
*paddr = (x * sizeof( unsigned int )) + BIOS_BASE;