Searched defs:deleteASID (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dvspace.c77 void deleteASID(asid_t asid, vspace_root_t *vspace) function
/seL4-l4v-master/seL4/src/arch/riscv/kernel/
H A Dvspace.c492 void deleteASID(asid_t asid, pte_t *vspace) function
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/
H A Dvspace.c1346 void deleteASID(asid_t asid, pde_t *pd) function
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1396 void deleteASID(asid_t asid, vspace_root_t *vspace) function

Completed in 59 milliseconds