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

/seL4-test-master/kernel/src/machine/
H A Dregisterset.c9 const register_t fault_messages[][MAX_MSG_SIZE] = { variable
/seL4-test-master/kernel/include/machine/
H A Dregisterset.h27 extern const register_t fault_messages[][MAX_MSG_SIZE] VISIBLE;
/seL4-test-master/kernel/src/api/
H A Dfaults.c82 register_t r = fault_messages[id][i];
91 register_t r = fault_messages[id][i];
104 setRegister(receiver, msgRegisters[i], getRegister(sender, fault_messages[id][i]));
109 receiveIPCBuffer[i + 1] = getRegister(sender, fault_messages[id][i]);

Completed in 30 milliseconds