Searched refs:smmu_cb_delete_vspace (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/include/arch/arm/arch/object/
H A Dsmmu.h34 void smmu_cb_delete_vspace(word_t cb, asid_t asid);
/seL4-l4v-master/seL4/src/arch/arm/64/object/
H A Dobjecttype.c153 smmu_cb_delete_vspace(cap_page_global_directory_cap_get_capPGDMappedCB(cap),
167 smmu_cb_delete_vspace(cap_page_upper_directory_cap_get_capPUDMappedCB(cap),
/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dsmmu.c366 void smmu_cb_delete_vspace(word_t cb, asid_t asid) function

Completed in 43 milliseconds