Searched refs:EBDA_POINTER (Results 1 – 1 of 1) sorted by relevance
66 #define EBDA_POINTER 0x040e /* location of EBDA pointer */ macro275 printf( " looking for EBDA pointer @ 0x%04x, ", EBDA_POINTER ); in apic_probe()276 seekEntry( (u_int32_t)EBDA_POINTER ); in apic_probe()