Searched refs:L4_SCHEDULER_IDLE_TIME_OP (Results 1 – 2 of 2) sorted by relevance
212 L4_SCHEDULER_IDLE_TIME_OP = 2UL, /**< Query idle time for the scheduler */ enumerator284 v->mr[0] = L4_SCHEDULER_IDLE_TIME_OP; in l4_scheduler_idle_time_u()
136 L4_INLINE_RPC_OP(L4_SCHEDULER_IDLE_TIME_OP,
Completed in 4 milliseconds