Searched defs:faultSyndrome_0 (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/seL4/src/arch/arm/object/ | ||
| H A D | smmu.c | 31 uint32_t faultStatus, faultSyndrome_0, faultSyndrome_1; local 36 setRegister(NODE_STATE(ksCurThread), msgRegisters[1], faultSyndrome_0); local |
Completed in 34 milliseconds