Re: Help on modelling gpio interrupt source when interrupt is shared