-
rahix authored
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>
0b845e99