Searched refs:tcflags (Results 1 – 1 of 1) sorted by relevance
287 uint32_t tcflags = THREAD_CALL_DELAY_USER_NORMAL; in mk_timer_arm_trap_internal() local290 tcflags = THREAD_CALL_DELAY_USER_CRITICAL; in mk_timer_arm_trap_internal()294 tcflags |= THREAD_CALL_DELAY_LEEWAY; in mk_timer_arm_trap_internal()299 expire_time, mk_leeway, tcflags)) { in mk_timer_arm_trap_internal()