ia64/xen-unstable

directory /extras/mini-os/include/x86/ @ 13096:ad886b6bdfd6

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--