Closes T154: pmap, kernel: Add support for write-combining on ia32/64
[barrelfish] / kernel / arch /
drwxr-xr-x   ..
drwxr-xr-x - apm88xxxx
drwxr-xr-x - arm
drwxr-xr-x - arm_gem5
drwxr-xr-x - armv5
drwxr-xr-x - armv7-m
drwxr-xr-x - armv7
drwxr-xr-x - armv8
drwxr-xr-x - k1om
drwxr-xr-x - omap44xx
drwxr-xr-x - scc
drwxr-xr-x - x86
drwxr-xr-x - x86_32
drwxr-xr-x - x86_64
drwxr-xr-x - xscale