update

[l4.git] / 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 cc0c563d376875d003b221c6fa7067f3ec7bb16e..b9eaf2d8fe01eb76285ef50f2d5fb16c791b8eff 100644 (file)
--- 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