/libc/kernel/arch-x86/asm/xen/
../
hypercall.h