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 6 milliseconds