Lines Matching refs:pte
69 static bool_t PURE pteCheckIfMapped(pte_t *pte);
380 pteS1_t pte;
381 pte = pteS1_pteS1_small_new(
393 armHSGlobalPT[idx] = pte;
845 pte_t *pte = lookupPTSlot_nofail(pt, vaddr);
846 switch (pte_ptr_get_pteType(pte)) {
848 ret.frameBase = pte_pte_small_ptr_get_address(pte);
850 if (pte_pte_small_ptr_get_contiguous_hint(pte)) {
865 ret.frameBase = pte_pte_large_ptr_get_address(pte);
884 pte_t pte;
893 pte = pte_pte_small_new(paddr,
902 pte = pte_pte_small_new(paddr,
916 pte = pte_pte_large_new(paddr,
926 pte = pte_pte_large_new(paddr,
952 pte = pte_pte_small_new(
961 pte = pte_pte_small_new(
975 pte = pte_pte_small_new(
984 pte = pte_pte_small_new(
1000 return pte;
1670 pte_t pte;
1699 ret.pte = makeUserPTE(ARMSmallPage, base,
1739 ret.pte = makeUserPTE(ARMLargePage, base,
1870 pteCheckIfMapped(pte_t *pte)
1872 return pte_ptr_get_pteType(pte) != pte_pte_invalid;
1976 performPageInvocationMapPTE(asid_t asid, cap_t cap, cte_t *ctSlot, pte_t pte,
1992 word_t base_address = pte_pte_small_get_address(pte);
1996 pte = pte_pte_small_set_address(pte, base_address + i * BIT(pageBitsForSize(ARMSmallPage)));
1998 pte_entries.base[i] = pte;
2046 performPageInvocationRemapPTE(asid_t asid, pte_t pte, pte_range_t pte_entries)
2059 word_t base_address = pte_pte_small_get_address(pte);
2063 pte = pte_pte_small_set_address(pte, base_address + i * BIT(pageBitsForSize(ARMSmallPage)));
2065 pte_entries.base[i] = pte;
2550 map_ret.pte,
2686 return performPageInvocationRemapPTE(mappedASID, map_ret.pte,