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

/seL4-test-master/kernel/src/plat/tk1/machine/
H A Dsmmu.c41 #define MC_SMMU_PAGE_BIT 10u macro
206 smmu_regs->intmask = BIT(MC_APB_ASID_UPDATE_BIT) | BIT(MC_SMMU_PAGE_BIT) |
252 if (status & BIT(MC_SMMU_PAGE_BIT)) {
267 clear_status |= BIT(MC_SMMU_PAGE_BIT);

Completed in 30 milliseconds