Hello,
I am not sure what you have done as you did not share any setting on INTC, but I just did test and counter is working as expected.
For my setting it counts the time for a detected IRQ to IACK.

and I doubt there is anything to INTC counter in simulink.
Best regards,
Peter