When using the Si-Labs processors with paged SFR's, with the normal os_... calls one must set the SFRPAGE to LEGACY_PAGE (0x00) first, since it is possible for these calls to access the Timer 0 registers. Is this required for isr_send_signal ? Since the source code for this isn't provided, I can't tell if it accesses any such registers.