Closes T154: pmap, kernel: Add support for write-combining on ia32/64
[barrelfish] / kernel / arch / x86_64 /
drwxr-xr-x   ..
-rw-r--r-- 1429 boot.S
-rw-r--r-- 2871 debug.c
-rw-r--r-- 11969 entry.S
-rw-r--r-- 10267 exec.c
-rw-r--r-- 9842 gdb_arch.c
-rw-r--r-- 23979 init.c
-rw-r--r-- 47018 irq.c
-rw-r--r-- 1231 linker.lds.in
-rw-r--r-- 2263 microbenchmarks.c
-rw-r--r-- 22061 page_mappings_arch.c
-rw-r--r-- 7321 paging.c
-rw-r--r-- 22666 startup_arch.c
-rw-r--r-- 42803 syscall.c
-rw-r--r-- 11447 vmkit.c