Searched refs:HV_ASIDRange (Results 1 – 3 of 3) sorted by relevance
1136 } HV_ASIDRange; typedef1153 HV_ASIDRange hv_inquire_asid(int idx);
228 HV_WRAP1(HV_ASIDRange, hv_inquire_asid, int, idx)
1177 HV_ASIDRange asid_range; in validate_hv()