Symbol: BIOS_BASE2
usr.sbin/mptable/mptable.c
348
printf( " searching extended BIOS @ 0x%08x\n", BIOS_BASE2 );
usr.sbin/mptable/mptable.c
349
seekEntry( BIOS_BASE2 );
usr.sbin/mptable/mptable.c
355
*paddr = (x * sizeof( unsigned int )) + BIOS_BASE2;