armv8: Improve readability of register restoration code
[barrelfish] / kernel /
drwxr-xr-x   ..
-rw-r--r-- 25033 Hakefile
drwxr-xr-x - arch
-rw-r--r-- 27194 cap_delete.c
-rw-r--r-- 71822 capabilities.c
-rw-r--r-- 1260 coreboot.c
-rw-r--r-- 12841 dispatch.c
-rw-r--r-- 13975 gdb_stub.c
drwxr-xr-x - include
-rw-r--r-- 3684 kcb.c
-rw-r--r-- 2299 logging.c
-rw-r--r-- 1753 memmove.c
-rw-r--r-- 5061 memset.c
-rw-r--r-- 2447 microbenchmarks.c
-rw-r--r-- 16038 monitor.c
-rw-r--r-- 14498 paging_generic.c
-rw-r--r-- 19653 printf.c
-rw-r--r-- 18545 schedule_rbed.c
-rw-r--r-- 4380 schedule_rr.c
-rw-r--r-- 16783 startup.c
-rw-r--r-- 2647 stdlib.c
-rw-r--r-- 4016 string.c
-rw-r--r-- 5273 sys_debug.c
-rw-r--r-- 31622 syscall.c
-rw-r--r-- 1089 systime.c
-rw-r--r-- 1820 timer.c
-rw-r--r-- 1102 useraccess.c
-rw-r--r-- 3165 wakeup.c