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

/seL4-test-master/kernel/include/plat/tk1/plat/machine/
H A Dsmmu.h78 uint32_t smmu_gpu_asid; /* 0xaa8 */ member in struct:__anon2
/seL4-test-master/kernel/src/plat/tk1/machine/
H A Dsmmu.c194 smmu_regs->smmu_gpu_asid = SMMU_GPU_ASID | MODULE_ASID_ENABLE;

Completed in 32 milliseconds