Currently, we can just implement this as part of the exception interface, similar to how it's done for the A32 interface with BKPT.