-
- Downloads
chore(interrupts): Make api_interrupt_trigger() return void
api_interrupt_trigger() cannot fail except by a programmer error
(passing an invalid ID) in which case we should raise an assertion.
Thus, make it return `void` instead of `int`.
This is also in preparation for future work to schedule interrupts
asynchroneously.
Signed-off-by:
Rahix <rahix@rahix.de>
Loading
Please register or sign in to comment