inject_host_exception
void inject_host_exception(u64 esr);
inject_host_exception((ESR_ELx_EC_UNKNOWN << ESR_ELx_EC_SHIFT) |
inject_host_exception(esr);