all: Rename mp_keyboard_interrupt to mp_sched_keyboard_interrupt.

To match mp_sched_exception() and mp_sched_schedule().

Signed-off-by: Damien George <damien@micropython.org>

1 files changed, 1 insertions, 1 deletions

diff --git a/py/runtime.h b/py/runtime.h
index 9ad4bc024..7d2cb94e8 100644
--- a/py/runtime.h
+++ b/py/runtime.h
@@ -65,7 +65,7 @@ void mp_init(void);
 void mp_deinit(void);
 
 void mp_sched_exception(mp_obj_t exc);
-void mp_keyboard_interrupt(void);
+void mp_sched_keyboard_interrupt(void);
 void mp_handle_pending(bool raise_exc);
 void mp_handle_pending_tail(mp_uint_t atomic_state);