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

/seL4-camkes-master/kernel/include/drivers/smmu/
H A Dsmmuv2.h106 #define SMMU_CBn_TCR 0x030 macro
328 /*SMMU_CBn_TCR stage1/2 when SMMU_CBn_CBA2R.VA64 is 1*/
356 /*SMMU_CBn_TCR stage 2 when SMMU_CBn_CBA2R.VA64 is 1*/
/seL4-camkes-master/kernel/src/drivers/smmu/
H A Dsmmuv2.c381 /*SMMU_CBn_TCR*/
408 /*SMMU_CBn_TCR*/
513 smmu_write_reg32(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_TCR, smmu_stage_table_config.tcr[0]); local

Completed in 43 milliseconds