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

/seL4-l4v-10.1.1/seL4/src/plat/tk1/machine/
H A Dsmmu.c45 #define MC_SMMU_PAGE_BIT 10u macro
226 smmu_regs->intmask = BIT(MC_APB_ASID_UPDATE_BIT) | BIT(MC_SMMU_PAGE_BIT) |
274 if (status & BIT(MC_SMMU_PAGE_BIT)) {
289 clear_status |= BIT(MC_SMMU_PAGE_BIT);

Completed in 35 milliseconds