From e9e9c76ddf131f8e50b0ae2d44501d3cd88537ef Mon Sep 17 00:00:00 2001 From: Damien George Date: Wed, 28 Apr 2021 10:57:34 +1000 Subject: all: Rename mp_keyboard_interrupt to mp_sched_keyboard_interrupt. To match mp_sched_exception() and mp_sched_schedule(). Signed-off-by: Damien George --- ports/unix/coverage.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'ports/unix/coverage.c') diff --git a/ports/unix/coverage.c b/ports/unix/coverage.c index ef66c4fb5..220666e38 100644 --- a/ports/unix/coverage.c +++ b/ports/unix/coverage.c @@ -483,7 +483,7 @@ STATIC mp_obj_t extra_coverage(void) { } // setting the keyboard interrupt and raising it during mp_handle_pending - mp_keyboard_interrupt(); + mp_sched_keyboard_interrupt(); nlr_buf_t nlr; if (nlr_push(&nlr) == 0) { mp_handle_pending(true); @@ -493,13 +493,13 @@ STATIC mp_obj_t extra_coverage(void) { } // setting the keyboard interrupt (twice) and cancelling it during mp_handle_pending - mp_keyboard_interrupt(); - mp_keyboard_interrupt(); + mp_sched_keyboard_interrupt(); + mp_sched_keyboard_interrupt(); mp_handle_pending(false); // setting keyboard interrupt and a pending event (intr should be handled first) mp_sched_schedule(MP_OBJ_FROM_PTR(&mp_builtin_print_obj), MP_OBJ_NEW_SMALL_INT(10)); - mp_keyboard_interrupt(); + mp_sched_keyboard_interrupt(); if (nlr_push(&nlr) == 0) { mp_handle_pending(true); nlr_pop(); -- cgit v1.2.3