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