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

/seL4-test-master/kernel/include/plat/tk1/plat/machine/
H A Dsmmu.h75 uint32_t smmu_sdmmc3a_asid; /* 0xa9c */ member in struct:__anon2
/seL4-test-master/kernel/src/plat/tk1/machine/
H A Dsmmu.c191 smmu_regs->smmu_sdmmc3a_asid = SMMU_SDMMC3A_ASID | MODULE_ASID_ENABLE;

Completed in 83 milliseconds