Searched refs:TIME_ARG_SIZE (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/include/api/
H A Dsyscall.h17 #define TIME_ARG_SIZE (sizeof(ticks_t) / sizeof(word_t)) macro
/seL4-test-master/kernel/src/object/
H A Dschedcontrol.c97 if (length < (TIME_ARG_SIZE * 2) + 2) {
104 time_t period_us = mode_parseTimeArg(TIME_ARG_SIZE, buffer);
105 word_t extra_refills = getSyscallArg(TIME_ARG_SIZE * 2, buffer);
106 word_t badge = getSyscallArg(TIME_ARG_SIZE * 2 + 1, buffer);

Completed in 75 milliseconds