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

/seL4-l4v-10.1.1/seL4/src/plat/tk1/machine/
H A Dsmmu.c276 uint32_t err_status = smmu_regs->err_status; local
278 uint32_t UNUSED id = err_status & MC_ERR_ID_MASK;
279 uint32_t UNUSED rw = (err_status & MC_ERR_RW_MASK);
280 uint32_t UNUSED read = (err_status & MC_ERR_INVALID_SMMU_PAGE_READ_MASK);
281 uint32_t UNUSED write = (err_status & MC_ERR_INVALID_SMMU_PAGE_WRITE_MASK);
282 uint32_t UNUSED nonsecure = (err_status & MC_ERR_INVALID_SMMU_PAGE_NONSECURE_MASK);
283 uint32_t UNUSED type = (err_status & MC_ERR_TYPE_MASK) >> MC_ERR_TYPE_SHIFT;
/seL4-l4v-10.1.1/seL4/include/plat/tk1/plat/machine/
H A Dsmmu.h28 uint32_t err_status; /* 0x08 */ member in struct:__anon161

Completed in 80 milliseconds