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

/seL4-mcs-10.1.1/include/api/
H A Dsyscall.h31 getSyscallArg(word_t i, word_t* ipc_buffer) function

Completed in 21 milliseconds