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