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

/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dsmmu.c260 word_t faultAddress; local
329 smmu_cb_read_fault_state(cap_cb_cap_get_capCB(cap), &faultStatus, &faultAddress); local
331 setRegister(NODE_STATE(ksCurThread), msgRegisters[1], faultAddress); local

Completed in 28 milliseconds