Lines Matching defs:asid

420 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()
470 static BOOT_CODE cap_t create_it_page_table_cap(cap_t pd, pptr_t pptr, vptr_t vptr, asid_t asid)  in create_it_page_table_cap()
535 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, boo…  in create_mapped_it_frame_cap()
600 findPDForASID_ret_t findPDForASID(asid_t asid)  in findPDForASID()
1003     asid_t asid;  in setVMRoot()  local
1034 static bool_t setVMRootForFlush(pde_t *pd, asid_t asid)  in setVMRootForFlush()
1051 pde_t *pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt)  in pageTableMapped()
1073 static void invalidateASID(asid_t asid)  in invalidateASID()
1087 static pde_t PURE loadHWASID(asid_t asid)  in loadHWASID()
1101 static void storeHWASID(asid_t asid, hw_asid_t hw_asid)  in storeHWASID()
1149 hw_asid_t getHWASID(asid_t asid)  in getHWASID()
1165 static void invalidateASIDEntry(asid_t asid)  in invalidateASIDEntry()
1177 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt)  in unmapPageTable()
1297 void deleteASID(asid_t asid, pde_t *pd)  in deleteASID()
1325 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr)
1462 void flushPage(vm_page_size_t page_size, pde_t *pd, asid_t asid, word_t vptr)
1486 void flushTable(pde_t *pd, asid_t asid, word_t vptr, pte_t *pt)
1505 void flushSpace(asid_t asid)
1526 void invalidateTLBByASID(asid_t asid)
1803 static exception_t performPDFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start,
1847 static exception_t performPageInvocationMapPTE(asid_t asid, cap_t cap, cte_t *ctSlot, pte_t pte,
1881 static exception_t performPageInvocationMapPDE(asid_t asid, cap_t cap, cte_t *ctSlot, pde_t pde,
1929 static exception_t performPageFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start,
1963 static exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr,
2007         asid_t asid;  local
2116     asid_t asid;  local
2237         asid_t asid;  local
2401         asid_t asid;  local
2596         asid_t asid;  local