pub fn init()Expand description
Set the default priority of every local interrupt to 1 (LOCIPRI = 0x1111_1111
for all registers), mirroring the C SDK’s int_setup. Without this, an IRQ
whose priority resets to 0 would never clear the default threshold of 0.