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

/seL4-test-master/kernel/include/32/mode/api/
H A Dipc_buffer.h13 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) function
/seL4-test-master/kernel/include/64/mode/api/
H A Dipc_buffer.h12 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) function

Completed in 31 milliseconds