Home
last modified time | relevance | path

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

/seL4-master/src/object/
A Dschedcontrol.c96 if (length < (TIME_ARG_SIZE * 2) + 3) { in decodeSchedControl_ConfigureFlags()
104 time_t period_us = mode_parseTimeArg(TIME_ARG_SIZE, buffer); in decodeSchedControl_ConfigureFlags()
106 word_t extra_refills = getSyscallArg(TIME_ARG_SIZE * 2, buffer); in decodeSchedControl_ConfigureFlags()
107 word_t badge = getSyscallArg(TIME_ARG_SIZE * 2 + 1, buffer); in decodeSchedControl_ConfigureFlags()
108 word_t flags = getSyscallArg(TIME_ARG_SIZE * 2 + 2, buffer); in decodeSchedControl_ConfigureFlags()
/seL4-master/include/api/
A Dsyscall.h17 #define TIME_ARG_SIZE (sizeof(ticks_t) / sizeof(word_t)) macro

Completed in 2 milliseconds