Jeremy Fitzhardinge e3d2697669 xen: fix incorrect vcpu_register_vcpu_info hypercall argument vor 18 Jahren
..
io a42089dd35 xen: Add Xen interface header files vor 18 Jahren
elfnote.h a42089dd35 xen: Add Xen interface header files vor 18 Jahren
event_channel.h a42089dd35 xen: Add Xen interface header files vor 18 Jahren
features.h a42089dd35 xen: Add Xen interface header files vor 18 Jahren
grant_table.h ad9a86121f xen: Add grant table support vor 18 Jahren
memory.h a42089dd35 xen: Add Xen interface header files vor 18 Jahren
physdev.h a42089dd35 xen: Add Xen interface header files vor 18 Jahren
sched.h a42089dd35 xen: Add Xen interface header files vor 18 Jahren
vcpu.h e3d2697669 xen: fix incorrect vcpu_register_vcpu_info hypercall argument vor 18 Jahren
version.h a42089dd35 xen: Add Xen interface header files vor 18 Jahren
xen.h a42089dd35 xen: Add Xen interface header files vor 18 Jahren