Introduce page colors. So far, only sparc64 uses correct page color bits. Other archi...
[helenos.git] / kernel / arch / ia32xen / include / 
tree307b80ad7e4b8ecc949085094dbef0697fe69e4a
drwxr-xr-x   ..
lrwxrwxrwx 25 arch.h -> ../../ia32/include/arch.h
lrwxrwxrwx 24 arg.h -> ../../ia32/include/arg.h
-rw-r--r-- 6714 asm.h
lrwxrwxrwx 27 atomic.h -> ../../ia32/include/atomic.h
lrwxrwxrwx 28 barrier.h -> ../../ia32/include/barrier.h
lrwxrwxrwx 23 bios -> ../../ia32/include/bios
drwxr-xr-x - boot
lrwxrwxrwx 30 byteorder.h -> ../../ia32/include/byteorder.h
lrwxrwxrwx 28 context.h -> ../../ia32/include/context.h
lrwxrwxrwx 24 cpu.h -> ../../ia32/include/cpu.h
lrwxrwxrwx 26 cpuid.h -> ../../ia32/include/cpuid.h
lrwxrwxrwx 22 ddi -> ../../ia32/include/ddi
lrwxrwxrwx 26 debug.h -> ../../ia32/include/debug.h
lrwxrwxrwx 29 debugger.h -> ../../ia32/include/debugger.h
drwxr-xr-x - drivers
lrwxrwxrwx 24 elf.h -> ../../ia32/include/elf.h
lrwxrwxrwx 26 faddr.h -> ../../ia32/include/faddr.h
lrwxrwxrwx 32 fpu_context.h -> ../../ia32/include/fpu_context.h
-rw-r--r-- 6435 hypercall.h
lrwxrwxrwx 30 interrupt.h -> ../../ia32/include/interrupt.h
lrwxrwxrwx 27 memstr.h -> ../../ia32/include/memstr.h
drwxr-xr-x - mm
-rw-r--r-- 3916 pm.h
lrwxrwxrwx 23 proc -> ../../ia32/include/proc
lrwxrwxrwx 22 smp -> ../../ia32/include/smp
-rw-r--r-- 2041 types.h