diff options
| author | Richard Braun <rbraun@sceen.net> | 2014-05-13 08:56:14 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2014-05-13 08:56:14 +0200 |
| commit | cad2cddccafbce869127ccd11b33145cc48b41e1 (patch) | |
| tree | 5a955fdb26f2b80b8c2db57dcb71e30aeb1606de /kern/thread.h | |
| parent | 95876998e4cd3408b4fb235e8b5c799631a05f3f (diff) | |
kern/thread: count scheduling interrupts
Diffstat (limited to 'kern/thread.h')
| -rw-r--r-- | kern/thread.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/kern/thread.h b/kern/thread.h index 01a2a75b..621e6a14 100644 --- a/kern/thread.h +++ b/kern/thread.h @@ -307,6 +307,11 @@ void __noreturn thread_run_scheduler(void); void thread_yield(void); /* + * Report a scheduling interrupt from a remote processor. + */ +void thread_schedule_intr(void); + +/* * Report a periodic timer interrupt on the thread currently running on * the local processor. * |