T154: mask out vregion flag for arm
[barrelfish] / lib / barrelfish / arch / arm /
drwxr-xr-x   ..
-rw-r--r-- 1152 debug.c
-rw-r--r-- 13597 dispatch.c
-rw-r--r-- 2209 entry.S
-rw-r--r-- 45657 pmap_arch.c
-rw-r--r-- 1538 sys_debug.c
-rw-r--r-- 2497 syscall.S
-rw-r--r-- 1094 syscalls.c