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

/seL4-camkes-master/kernel/src/drivers/smmu/
H A Dsmmuv2.c279 pptr_t cb_bank_ptr; local
327 cb_bank_ptr = SMMU_CBn_BASE_PPTR(i);
329 smmu_write_reg32(cb_bank_ptr, SMMU_CBn_SCTLR, 0);
331 smmu_write_reg64(cb_bank_ptr, SMMU_CBn_FAR, 0ULL);
332 smmu_write_reg32(cb_bank_ptr, SMMU_CBn_FSR, CBn_FSR_CLEAR_ALL);
335 reg = smmu_read_reg32(cb_bank_ptr, SMMU_CBn_ACTLR);
337 smmu_write_reg32(cb_bank_ptr, SMMU_CBn_ACTLR, reg);

Completed in 38 milliseconds