ia64/xen-unstable

directory /extras/mini-os/include/x86/ @ 12526:82ba3c086e6c

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