u-boot/include/xen/interface
..
hvm
io
event_channel.h
grant_table.h
memory.h
sched.h
xen.h