 Joao Martins
|
2229f70b5b
x86/xen/time: setup vcpu 0 time info page
|
7 years ago |
 Juergen Gross
|
7ba8dba95c
xen: update xen headers
|
9 years ago |
 Konrad Rzeszutek Wilk
|
6efa20e49b
xen: Support 64-bit PV guest receiving NMIs
|
12 years ago |
 Isaku Yamahata
|
2724426924
xen: add missing definitions in include/xen/interface/vcpu.h which ia64/xen needs
|
17 years ago |
 Jeremy Fitzhardinge
|
e3d2697669
xen: fix incorrect vcpu_register_vcpu_info hypercall argument
|
18 years ago |
|
Jeremy Fitzhardinge
|
60223a326f
xen: Place vcpu_info structure into per-cpu memory
|
18 years ago |
|
Jeremy Fitzhardinge
|
a42089dd35
xen: Add Xen interface header files
|
18 years ago |
