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