MSP432 Timer32 use

I'm going to assume one Timer32 module is used by TI-RTOS as a system tick-like timer for task scheduling, but what about the other?
Is it in use somewhere and/or can it be accessed in Energia or somehow?