diff options
| author | Damien George <damien.p.george@gmail.com> | 2020-02-06 20:25:54 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2020-02-07 16:08:26 +1100 |
| commit | 9efb36bfa66d5846c14f21778c25dff7dd733826 (patch) | |
| tree | f87dd0a7a4a891f4042cbb6722d81718e3660e49 /py/runtime.h | |
| parent | 5a91cd9ff3e97b74ad6c9a615f810b8fcebbe110 (diff) | |
py/scheduler: Move mp_keyboard_interrupt from lib/utils to py core.
This function is tightly coupled to the state and behaviour of the
scheduler, and is a core part of the runtime: to schedule a pending
exception. So move it there.
Diffstat (limited to 'py/runtime.h')
| -rw-r--r-- | py/runtime.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/py/runtime.h b/py/runtime.h index 1c078ae81..063971883 100644 --- a/py/runtime.h +++ b/py/runtime.h @@ -64,6 +64,7 @@ extern const byte mp_binary_op_method_name[]; void mp_init(void); void mp_deinit(void); +void mp_keyboard_interrupt(void); void mp_handle_pending(bool raise_exc); void mp_handle_pending_tail(mp_uint_t atomic_state); |