Could the maskability be checked on the call to the RTEMS facilities? If we are running as an NMI and must not use RTEMS facilities, perhaps a failure return code instead of RTEMS_SUCCESSFUL on the call. Andrei