Searched refs:faultStatus (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 34 smmu_read_fault_state(&faultStatus, &faultSyndrome_0, &faultSyndrome_1); 35 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], faultStatus); local 259 uint32_t faultStatus; local 329 smmu_cb_read_fault_state(cap_cb_cap_get_capCB(cap), &faultStatus, &faultAddress); local 330 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], faultStatus); local
|
Completed in 80 milliseconds