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