Home
last modified time | relevance | path

Searched defs:mode_setTimeArg (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/64/mode/api/
A Dipc_buffer.h17 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) in mode_setTimeArg() function
/seL4-master/include/32/mode/api/
A Dipc_buffer.h18 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) in mode_setTimeArg() function

Completed in 4 milliseconds