RTOS/CC1310: Disabling HWI for PIN_setOutputValue: is it necessary?

Tool/software: TI-RTOS

I am not very familiar with the PIN driver in the Simplelink examples for the CC1310. I notice that the PIN_setOutputValue() calls are placed within critical sections for thread safety, even for changing the state of the LED. Do I need to follow this functionality regardless of whether or not I am using hardware interrupts for the port? I haven't come across any documentation that specifically talks about Pin.h and HWI.

Alternatively, am I safe to bypass Pin and use PINCC26XX_setOutputValue()?

/* @brief Fast/efficient version of #PIN_setOutputValue()
 * @note  Does not include any checks on handle for efficiency reasons,
 *        use #PIN_setOutputValue() for checked version
 */
__STATIC_INLINE void PINCC26XX_setOutputValue(PIN_Id pinId, uint32_t val) {
    HWREGB(GPIO_BASE + GPIO_O_DOUT3_0 + pinId) = (val) ? 1 : 0;
}

Thanks,

Andy