Searched refs:smmu_stage_table_config (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/kernel/src/drivers/smmu/ |
| H A D | smmuv2.c | 54 static struct smmu_table_config smmu_stage_table_config; variable in typeref:struct:smmu_table_config
478 smmu_config_stage2(&smmu_stage_table_config,
481 smmu_config_stage1(&smmu_stage_table_config,
513 smmu_write_reg32(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_TCR, smmu_stage_table_config.tcr[0]);
518 smmu_write_reg32(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_TCR2, smmu_stage_table_config.tcr[1]);
519 smmu_write_reg64(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_TTBR1, smmu_stage_table_config.ttbr[1]);
523 smmu_write_reg64(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_TTBR0, smmu_stage_table_config.ttbr[0]);
526 smmu_write_reg32(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_MAIR0, smmu_stage_table_config.mair[0]);
527 smmu_write_reg32(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_MAIR1, smmu_stage_table_config.mair[1]);
|
Completed in 79 milliseconds