Hello,
That is correct. Machine check should end up in IVOR_1 vector.

And the error it gives is No source available for IVOR1_handler.
Hmm, it looks like you are missing source file link in your debug session. Nothing critical, you will just see assembly code instead.
Debug the code, to see if you have access to the register you are trying to write from requesting master.
Just step the code in assembly and you will find the root cause in no time.
The register is clocked, and set correctly, right?
Best regards,
Peter