Searched refs:ovmf_end (Results 1 – 1 of 1) sorted by relevance
94 uint64_t ovmf_end = addr + bios_length; in ovmf_load() local105 while ( (addr >> PAGE_SHIFT) != (ovmf_end >> PAGE_SHIFT) ) in ovmf_load()
Completed in 3 milliseconds