Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-11-02 | xen: fix wrong SPDX headers of Xen related headers | Juergen Gross | 1 | -18/+1 |
2017-11-09 | x86/xen/time: setup vcpu 0 time info page | Joao Martins | 1 | -0/+42 |
2016-07-06 | xen: update xen headers | Juergen Gross | 1 | -9/+15 |
2013-08-09 | xen: Support 64-bit PV guest receiving NMIs | Konrad Rzeszutek Wilk | 1 | -0/+2 |
2008-04-25 | xen: add missing definitions in include/xen/interface/vcpu.h which ia64/xen n... | Isaku Yamahata | 1 | -0/+5 |
2007-10-16 | xen: fix incorrect vcpu_register_vcpu_info hypercall argument | Jeremy Fitzhardinge | 1 | -2/+3 |
2007-07-18 | xen: Place vcpu_info structure into per-cpu memory | Jeremy Fitzhardinge | 1 | -0/+13 |
2007-07-18 | xen: Add Xen interface header files | Jeremy Fitzhardinge | 1 | -0/+154 |