X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/3077745110b3fea73dd6d270c9777ab6df409cba..fba40cf7f1ec0cd4cfaa7ed6a530785cc666e2ec:/kernel/fiasco/src/kern/arm/ivt.S

diff --git a/kernel/fiasco/src/kern/arm/ivt.S b/kernel/fiasco/src/kern/arm/ivt.S
index cc0c563d3..b9eaf2d8f 100644
--- a/kernel/fiasco/src/kern/arm/ivt.S
+++ b/kernel/fiasco/src/kern/arm/ivt.S
@@ -914,7 +914,7 @@ monitor_vector_base:
 mon_enter_secure mon_undef_entry,      6, 4
 mon_enter_secure mon_swi_entry,        1, 0
 mon_enter_secure mon_inst_abort_entry, 2, 4
-mon_enter_secure mon_data_abort_entry, 3, 4
+mon_enter_secure mon_data_abort_entry, 3, 8
 mon_enter_secure mon_irq_entry,        4, 4
 mon_enter_secure mon_fiq_entry,        5, 4