equal
deleted
inserted
replaced
3607 } |
3607 } |
3608 *priority_ptr = os_prio; |
3608 *priority_ptr = os_prio; |
3609 return OS_OK; |
3609 return OS_OK; |
3610 } |
3610 } |
3611 |
3611 |
3612 |
|
3613 // Hint to the underlying OS that a task switch would not be good. |
|
3614 // Void return because it's a hint and can fail. |
|
3615 void os::hint_no_preempt() {} |
|
3616 |
|
3617 void os::interrupt(Thread* thread) { |
3612 void os::interrupt(Thread* thread) { |
3618 debug_only(Thread::check_for_dangling_thread_pointer(thread);) |
3613 debug_only(Thread::check_for_dangling_thread_pointer(thread);) |
3619 |
3614 |
3620 OSThread* osthread = thread->osthread(); |
3615 OSThread* osthread = thread->osthread(); |
3621 osthread->set_interrupted(true); |
3616 osthread->set_interrupted(true); |