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

/seL4-test-master/kernel/include/plat/tk1/plat/machine/
H A Dsmmu.h53 uint32_t smmu_nv2_asid; /* 0x26c */ member in struct:__anon2
/seL4-test-master/kernel/src/plat/tk1/machine/
H A Dsmmu.c179 smmu_regs->smmu_nv2_asid = SMMU_NV2_ASID | MODULE_ASID_ENABLE;

Completed in 26 milliseconds