summaryrefslogtreecommitdiff
path: root/cpukit/score/cpu/arm/arm_exc_abort.S
diff options
context:
space:
mode:
Diffstat (limited to 'cpukit/score/cpu/arm/arm_exc_abort.S')
-rw-r--r--cpukit/score/cpu/arm/arm_exc_abort.S3
1 files changed, 3 insertions, 0 deletions
diff --git a/cpukit/score/cpu/arm/arm_exc_abort.S b/cpukit/score/cpu/arm/arm_exc_abort.S
index 0f5d414c42..45c86a042f 100644
--- a/cpukit/score/cpu/arm/arm_exc_abort.S
+++ b/cpukit/score/cpu/arm/arm_exc_abort.S
@@ -129,6 +129,9 @@ save_more_context:
add sp, #20
/* Return from interrupt */
+#ifdef RTEMS_PARAVIRT_XTRATUM
+ udf #10
+#endif
subs pc, lr, #8
#ifdef __thumb__