 Weidong Han
|
e28c31a96b
xen: register xen pci notifier
|
%!s(int64=14) %!d(string=hai) anos |
 Jeremy Fitzhardinge
|
38aa66fcb7
xen: remap GSIs as pirqs when running as initial domain
|
%!s(int64=14) %!d(string=hai) anos |
 Stefano Stabellini
|
42a1de56f3
xen: implement xen_hvm_register_pirq
|
%!s(int64=15) %!d(string=hai) anos |
|
Stefano Stabellini
|
01557baff6
xen: get the maximum number of pirqs from xen
|
%!s(int64=14) %!d(string=hai) anos |
 Jeremy Fitzhardinge
|
a42089dd35
xen: Add Xen interface header files
|
%!s(int64=18) %!d(string=hai) anos |
