libbarrelfish: merging arch specific hearders for k1om and x86_64
[barrelfish] / lib / barrelfish / arch / x86_64 /
drwxr-xr-x   ..
-rw-r--r-- 2733 debug.c
-rw-r--r-- 13142 dispatch.c
-rw-r--r-- 2210 entry.S
-rw-r--r-- 27386 ldt.c
-rw-r--r-- 394 sys_debug.c
-rw-r--r-- 731 syscalls.c