I'm in here seeking help myself, but on a slightly different topic. I was able to get the IRQ for IO working. I am using 2024.2, if you are as well, do not use IDs but rather base addresses. Base Address for all of your AXI IP Blocks are defined in xparameters.h. Hope this helps.