ia64/xen-unstable

directory /extras/mini-os/include/x86/ @ 11114:5a454f6e320f

name size permissions
[up] drwxr-xr-x
dir. x86_32/ drwxr-xr-x
dir. x86_64/ drwxr-xr-x
file os.h 15192 -rw-r--r--
file spinlock.h 2497 -rw-r--r--
file traps.h 1432 -rw-r--r--