Searched refs:HV_VirtAddrRange (Results 1 – 5 of 5) sorted by relevance
88 HV_VirtAddrRange r = hv_inquire_virtual(i); in local_flush_tlb_all()
82 HV_VirtAddrRange r = hv_inquire_virtual(i); in flush_tlb_all()
227 HV_WRAP1(HV_VirtAddrRange, hv_inquire_virtual, int, idx)
1241 HV_VirtAddrRange range = hv_inquire_virtual(i); in validate_va()
1100 } HV_VirtAddrRange; typedef1128 HV_VirtAddrRange hv_inquire_virtual(int idx);