Searched defs:cb (Results 1 – 3 of 3) sorted by relevance
| /seL4-master/src/arch/arm/object/ |
| A D | smmu.c | 13 word_t cb = cap_cb_cap_get_capCB(cap); in checkARMCBVspace() local
186 word_t index, depth, cb; in decodeARMCBControlInvocation() local
254 word_t cb; in decodeARMCBInvocation() local
348 word_t cb = cap_cb_cap_get_capCB(cap); in smmu_delete_cb() local
362 void smmu_cb_delete_vspace(word_t cb, asid_t asid) in smmu_cb_delete_vspace()
380 for (int cb = 0; cb < SMMU_MAX_CB && bind_cb; cb++) { in invalidateSMMUTLBByASID() local
391 for (int cb = 0; cb < SMMU_MAX_CB && bind_cb; cb++) { in invalidateSMMUTLBByASIDVA() local
|
| /seL4-master/src/drivers/smmu/ |
| A D | smmuv2.c | 467 void smmu_cb_assign_vspace(word_t cb, vspace_root_t *vspace, asid_t asid) in smmu_cb_assign_vspace()
534 void smmu_cb_disable(word_t cb, asid_t asid) in smmu_cb_disable()
543 void smmu_sid_bind_cb(word_t sid, word_t cb) in smmu_sid_bind_cb()
584 void smmu_tlb_invalidate_cb(int cb, asid_t asid) in smmu_tlb_invalidate_cb()
601 void smmu_tlb_invalidate_cb_va(int cb, asid_t asid, vptr_t vaddr) in smmu_tlb_invalidate_cb_va()
631 void smmu_cb_read_fault_state(int cb, uint32_t *status, word_t *address) in smmu_cb_read_fault_state()
637 void smmu_cb_clear_fault_state(int cb) in smmu_cb_clear_fault_state()
|
| /seL4-master/include/arch/arm/arch/64/mode/kernel/ |
| A D | vspace.h | 71 #define cap_vtable_root_ptr_set_mappedCB(_c, cb) \ argument
113 #define cap_vtable_root_ptr_set_mappedCB(_c, cb) \ argument
|
Completed in 5 milliseconds