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

/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dsmmu.c31 uint32_t faultStatus, faultSyndrome_0, faultSyndrome_1; local
34 smmu_read_fault_state(&faultStatus, &faultSyndrome_0, &faultSyndrome_1);
36 setRegister(NODE_STATE(ksCurThread), msgRegisters[1], faultSyndrome_0); local

Completed in 35 milliseconds