Searched refs:faultSyndrome_1 (Results 1 – 1 of 1) sorted by relevance

/seL4-master/src/arch/arm/object/
A D	smmu.c	30 uint32_t faultStatus, faultSyndrome_0, faultSyndrome_1; in decodeARMSIDControlInvocation() local 33 smmu_read_fault_state(&faultStatus, &faultSyndrome_0, &faultSyndrome_1); in decodeARMSIDControlInvocation() 36 setRegister(NODE_STATE(ksCurThread), msgRegisters[2], faultSyndrome_1); in decodeARMSIDControlInvocation()

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023