equal
deleted
inserted
replaced
448 YIELD_UNKNOWN = -1 // Unknown: platform doesn't support _SWITCHED or _NONEREADY |
448 YIELD_UNKNOWN = -1 // Unknown: platform doesn't support _SWITCHED or _NONEREADY |
449 // YIELD_SWITCHED and YIELD_NONREADY imply the platform supports a "strong" |
449 // YIELD_SWITCHED and YIELD_NONREADY imply the platform supports a "strong" |
450 // yield that can be used in lieu of blocking. |
450 // yield that can be used in lieu of blocking. |
451 } ; |
451 } ; |
452 static YieldResult NakedYield () ; |
452 static YieldResult NakedYield () ; |
453 static void yield_all(int attempts = 0); // Yields to all other threads including lower priority |
453 static void yield_all(); // Yields to all other threads including lower priority |
454 static void loop_breaker(int attempts); // called from within tight loops to possibly influence time-sharing |
454 // (for the default scheduling policy) |
455 static OSReturn set_priority(Thread* thread, ThreadPriority priority); |
455 static OSReturn set_priority(Thread* thread, ThreadPriority priority); |
456 static OSReturn get_priority(const Thread* const thread, ThreadPriority& priority); |
456 static OSReturn get_priority(const Thread* const thread, ThreadPriority& priority); |
457 |
457 |
458 static void interrupt(Thread* thread); |
458 static void interrupt(Thread* thread); |
459 static bool is_interrupted(Thread* thread, bool clear_interrupted); |
459 static bool is_interrupted(Thread* thread, bool clear_interrupted); |