Searched refs:ebda_paddr (Results 1 – 1 of 1) sorted by relevance
101 uint32_t ebda_paddr = ((uint32_t)*((uint16_t *)EBDA_BASE_ADDR)) << 4; in pvh_load_kernel() local102 if (ebda_paddr > 0x400) { in pvh_load_kernel()103 uint32_t *ebda = (uint32_t *)ebda_paddr; in pvh_load_kernel()