original_kernel/include/xen/interface
..
io
elfnote.h
event_channel.h
features.h
grant_table.h
memory.h
physdev.h
sched.h
vcpu.h
version.h
xen.h