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