// Safety: interrupts are already turned off here, since we are inside an interrupt
// Safety: interrupts are already turned off here, since we are inside an interrupt
// We might be accessing the hardware while the interrupted code also wants to, this is fine since we're only touching the EVENT registers which are not touched by the other code
// We might be accessing the hardware while the interrupted code also wants to, this is fine since we're only touching the EVENT registers which are not touched by the other code