BOOM: calling elcr_write_trigger(16, LEVEL): expect 'panic: elcr_write_trigger: invalid IRQ 16' on this INVARIANTS kernel; on a production kernel the assert is compiled out (systm.h:117) and the call silently corrupts shadow bit 16 via 1<<16
panic: elcr_write_trigger: invalid IRQ 16
cpuid = 1
Trace beginning at frame 0xfffff801184477c8
elcr_write_trigger() at elcr_write_trigger+0x8c 0xffffffff80c0a3cc 
elcr_write_trigger() at elcr_write_trigger+0x8c 0xffffffff80c0a3cc 
elcrboom_modevent() at elcrboom_modevent+0x36 0xffffffff82600036 
module_register_init() at module_register_init+0x49 0xffffffff806232e9 
linker_load_file.part.3() at linker_load_file.part.3+0x1b9 0xffffffff80624619 
linker_load_module() at linker_load_module+0x116 0xffffffff80625e16 
Debugger("panic")

CPU1 stopping CPUs: 0x0000003d
 stopped
Stopped at      Debugger+0x7c:  movb    $0,0xbdaf09(%rip)
db>