/xen/arch/x86/include/asm/mach-default/
../
bios_ebda.h
io_ports.h
irq_vectors.h
mach_mpspec.h