Closes T154: pmap, kernel: Add support for write-combining on ia32/64
[barrelfish] / kernel / arch / x86_32 /
drwxr-xr-x   ..
-rw-r--r-- 1377 boot.S
-rw-r--r-- 738 debug.c
-rw-r--r-- 1500 entry.S
-rw-r--r-- 7384 exec.c
-rw-r--r-- 3876 gdb_arch.c
-rw-r--r-- 24554 init.c
-rw-r--r-- 41157 irq.c
-rw-r--r-- 1228 linker.lds.in
-rw-r--r-- 1495 microbenchmarks.c
-rw-r--r-- 18977 page_mappings_arch.c
-rw-r--r-- 12403 paging.c
-rw-r--r-- 1237 pic.S
-rw-r--r-- 25428 startup_arch.c
-rw-r--r-- 40720 syscall.c