Yes, it is when there is no PIOS_INCLUDE_FREERTOS. This provides PIOS_IRQ_Enable() and PIOS_IRQ_Disable().