I'm testing my code on DRV8312EVM with F28069M controlCard.
In device initialization, GPIO12 is configured as GPIO output. In a 10 kHz ISR, I toggle GPIO12 once by executing the line below
GpioDataRegs.GPATOGGLE.bit.GPIO12 = 1;
and nowhere else GPIO12 is touched. Surprisingly, the waveform on GPIO12 was not a 50% duty cycle waveform, instead, about 10% duty cycle waveform, see screenshot attached.
Please advise why.