Symbol: EBDA_POINTER
usr.sbin/mptable/mptable.c
422
printf( " looking for EBDA pointer @ 0x%04x, ", EBDA_POINTER );
usr.sbin/mptable/mptable.c
423
seekEntry( (vm_offset_t)EBDA_POINTER );