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