Searched refs:ebda (Results 1 – 2 of 2) sorted by relevance
103 uint32_t *ebda = (uint32_t *)ebda_paddr; in pvh_load_kernel() local105 start_info.rsdp_paddr = search_rsdp(*ebda, *ebda + EBDA_SIZE); in pvh_load_kernel()
45 obj-y += ebda.o