Could someone please enlighten me how IREENT_MAGIC is supposed to work? I guess this is to prevent re-enabling an interrupt when returning from a nested one.