Searched refs:search_rsdp (Results 1 – 1 of 1) sorted by relevance
54 static uintptr_t search_rsdp(uint32_t start_addr, uint32_t end_addr) in search_rsdp() function92 start_info.rsdp_paddr = search_rsdp(RSDP_AREA_ADDR, in pvh_load_kernel()105 start_info.rsdp_paddr = search_rsdp(*ebda, *ebda + EBDA_SIZE); in pvh_load_kernel()