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

/seL4-master/include/api/
A D	syscall.h	35 exception_t handleUserLevelFault(word_t w_a, word_t w_b);
/seL4-master/src/api/
A D	syscall.c	332 exception_t handleUserLevelFault(word_t w_a, word_t w_b) in handleUserLevelFault() argument 335 current_fault = seL4_Fault_UserException_new(w_a, w_b); in handleUserLevelFault()

Completed in 11 milliseconds

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