update

[l4.git] / kernel / fiasco / src / kern / arm / paging-arm.cpp

diff --git a/kernel/fiasco/src/kern/arm/paging-arm.cpp b/kernel/fiasco/src/kern/arm/paging-arm.cpp
index 528034ac572fdcdf0986537dd583b6e00f3b7eba..983afe1d591d97e4101a4beb7857d439ae77ef1a 100644 (file)
--- a/kernel/fiasco/src/kern/arm/paging-arm.cpp
+++ b/kernel/fiasco/src/kern/arm/paging-arm.cpp
@@ -140,7 +140,7 @@ IMPLEMENTATION [arm && (armv6 || armv7)]:
 
 PUBLIC static inline
 Mword PF::is_alignment_error(Mword error)
-{ return (error & 0xf00a0f) == 0x400001; }
+{ return (error & 0xf0040f) == 0x400001; }
 
 //---------------------------------------------------------------------------
 IMPLEMENTATION [arm]: