Searched refs:l1_pgtable (Results 1 – 1 of 1) sorted by relevance
50 HV_PTE *l1_pgtable = kbt->pgtable; in valid_address() local56 if (l1_pgtable == NULL) in valid_address()61 pte = l1_pgtable[HV_L0_INDEX(address)]; in valid_address()74 l1_pgtable = (HV_PTE *)pfn_to_kaddr(pfn); in valid_address()76 pte = l1_pgtable[HV_L1_INDEX(address)]; in valid_address()