I am having multiple GPIO interrupts (6 inputs), these are user buttons,
I need to maintain system state machine according to the user input. For the user button differences I am using different bits of pulNotificationValue. It would be helpful if you suggest anything on this.