The value of SCB0_INTR_TX gets ANDed with the interrupt mask. The result is 0x02 showing the NOT_FULL interrupt was fired.
Why the the value of SCB0_INTR_TX is 0x00000412?
According to the PSoC4 register TRM these bits are set in SCB_INTR_TX with 0x0412:
- NOT_FULL (the '2')
- EMPTY (the '1')
- UART_ARB_LOST (the '4')
The latter one is from the PSoC4000 register TRM, its not in the PSoC4100/4200 register TRM. IF yoiu have further questions about the specific bits, please look at the TRM and the register TRM for your device.