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