ia64/xen-unstable

directory /extras/mini-os/include/x86/ @ 14038:4314691c70a2

name size permissions
[up] drwxr-xr-x
dir. x86_32/ drwxr-xr-x
dir. x86_64/ drwxr-xr-x
file arch_mm.h 7026 -rw-r--r--
file arch_sched.h 2764 -rw-r--r--
file arch_spinlock.h 1779 -rw-r--r--
file os.h 15297 -rw-r--r--
file traps.h 1432 -rw-r--r--