Lines Matching refs:pte
136 pte_t pte;
148 pte = x86_make_device_pte(phys);
151 pt[idx] = pte;
160 pte = x86_make_device_pte(phys);
162 pt[idx] = pte;
170 pte = x86_make_empty_pte();
172 pt[idx] = pte;
184 pte = x86_make_device_pte(phys);
187 pt[idx] = pte;
196 pte = x86_make_empty_pte();
197 pt[idx] = pte;
798 performX86PageInvocationMapPTE(cap_t cap, cte_t *ctSlot, pte_t *ptSlot, pte_t pte, vspace_root_t *vspace)
801 *ptSlot = pte;
818 performX86PageInvocationRemapPTE(pte_t *ptSlot, pte_t pte, asid_t asid, vspace_root_t *vspace)
820 *ptSlot = pte;
885 pte_t pte;
906 ret.pte = makeUserPTE(base, attr, vmRights);
1063 return performX86PageInvocationMapPTE(cap, cte, map_ret.ptSlot, map_ret.pte, vspace);
1183 return performX86PageInvocationRemapPTE(map_ret.ptSlot, map_ret.pte, asid, vspace);