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

/seL4-test-master/kernel/include/plat/tk1/plat/machine/
H A Dsmmu.h42 uint32_t smmu_dc_asid; /* 0x240 */ member in struct:__anon2
/seL4-test-master/kernel/src/plat/tk1/machine/
H A Dsmmu.c172 smmu_regs->smmu_dc_asid = SMMU_DC_ASID | MODULE_ASID_ENABLE;

Completed in 21 milliseconds