diff options
| -rw-r--r-- | kern/thread.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kern/thread.h b/kern/thread.h index 60dc19c2..3b61e067 100644 --- a/kern/thread.h +++ b/kern/thread.h @@ -342,8 +342,6 @@ void thread_schedule_intr(void); /* * Report a periodic timer interrupt on the thread currently running on * the local processor. - * - * Called from interrupt context. */ void thread_tick_intr(void); |