Closes T154: pmap, kernel: Add support for write-combining on ia32/64
[barrelfish] / kernel / arch / x86 /
drwxr-xr-x   ..
-rw-r--r-- 13297 apic.c
-rw-r--r-- 1279 cmos.c
-rw-r--r-- 2835 conio.c
-rw-r--r-- 1197 debugregs.c
-rw-r--r-- 4137 ipi_notify.c
-rw-r--r-- 2408 mcheck.c
-rw-r--r-- 3240 misc.c
-rw-r--r-- 3072 multiboot.c
-rw-r--r-- 3483 perfmon.c
-rw-r--r-- 3200 perfmon_amd.c
-rw-r--r-- 2672 perfmon_intel.c
-rw-r--r-- 4537 pic.c
-rw-r--r-- 2639 pit.c
-rw-r--r-- 2441 rtc.c
-rw-r--r-- 4085 serial.c
-rw-r--r-- 24314 startup_x86.c
-rw-r--r-- 1930 syscall.c
-rw-r--r-- 8998 timing.c