Lines Matching defs:asid
475 asid_t asid; in setVMRoot() local
639 static BOOT_CODE cap_t create_it_pdpt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pdpt_cap()
652 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pd_cap()
665 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pt_cap()
762 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,… in create_it_frame_cap()
789 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid,… in create_mapped_it_frame_cap()
801 exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot) in performASIDPoolInvocation()
1052 static void flushPD(vspace_root_t *vspace, word_t vptr, pde_t *pd, asid_t asid) in flushPD()
1062 static void flushPDPT(vspace_root_t *vspace, word_t vptr, pdpte_t *pdpt, asid_t asid) in flushPDPT()
1069 void hwASIDInvalidate(asid_t asid, vspace_root_t *vspace) in hwASIDInvalidate()
1074 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) in unmapPageDirectory()
1148 asid_t asid; in decodeX64PageDirectoryInvocation() local
1249 static void unmapPDPT(asid_t asid, vptr_t vaddr, pdpte_t *pdpt) in unmapPDPT()
1312 asid_t asid; in decodeX64PDPTInvocation() local
1455 static exception_t updatePDPTE(asid_t asid, pdpte_t pdpte, pdpte_t *pdptSlot, vspace_root_t *vspace) in updatePDPTE()