/extras/mini-os/include/x86/x86_32/
../
arch_wordsize.h
hypercall-x86_32.h