Searched refs:EBDA_BASE_ADDR (Results 1 – 1 of 1) sorted by relevance
33 #define EBDA_BASE_ADDR 0x0000040E macro101 uint32_t ebda_paddr = ((uint32_t)*((uint16_t *)EBDA_BASE_ADDR)) << 4; in pvh_load_kernel()