Searched defs:w_b (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/api/
H A Dsyscall.c233 handleUserLevelFault(word_t w_a, word_t w_b) argument

Completed in 37 milliseconds