Searched refs:HV_PhysAddrRange (Results 1 – 3 of 3) sorted by relevance
999 } HV_PhysAddrRange; typedef1022 HV_PhysAddrRange hv_inquire_physical(int idx);
224 HV_WRAP1(HV_PhysAddrRange, hv_inquire_physical, int, idx)
396 HV_PhysAddrRange range = hv_inquire_physical(i); in setup_memory()