MSP432P401R: Seeing double interrupts for Timer32

Part Number:MSP432P401R

G'Day,

Is there any reason a Timer32 module would occasionally give two interrupts in very short order (a few 10s of uSec apart)?

I'm using SimpleLink 1.4 (yet to move up to v1.6) and I set up the Timer32 module as described by the code fragment below (I'm basically setting it up to give me an interrupt every 10mSec)

uint32_t tickCnt = 0;

void timer32_hwi(uintptr_t arg)
{
MAP_Timer32_clearInterruptFlag(TIMER_1_BASE);
tickCnt++;
}

void timer32_init(void)
{

// Setup a HWI for the Timer32 module

Hwi_Handle hndl;
Hwi_Params params;

Hwi_Params_init(&params);
params.priority = 0xe0;

hndl = Hwi_create(INT_T32_INT2, timer32_hwi, &params, NULL);

// Setup Timer32 Module - not aware of a SimpleLink driver for Timer32, so use driverlib

MAP_Timer32_haltTimer(TIMER_1_BASE);
MAP_Timer32_initModule(TIMER_1_BASE, TIMER32_PRESCALER_1, TIMER32_32BIT, TIMER32_PERIODIC_MODE);
MAP_Timer32_setCount(TIMER_1_BASE, 480000);
MAP_Timer32_clearInterruptFlag(TIMER_1_BASE);
MAP_Timer32_enableInterrupt(TIMER_1_BASE);
MAP_Timer32_startTimer(TIMER_1_BASE, false);

tickCnt = 0;

}