| commit | eba3ff8b99863bcc9e66b8d528e4750229e29693 | [log] [tgz] |
|---|---|---|
| author | Jeremy Fitzhardinge <jeremy@goop.org> | Mon Feb 09 12:05:49 2009 -0800 |
| committer | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | Wed Oct 20 16:22:27 2010 -0700 |
| tree | 478e2e9e00751c5593be1424fba36ed461c2e306 | |
| parent | 655d406a7c80bffc03263d071b6ba1e0fcf548f9 [diff] |
xen: add xen_set_domain_pte() Add xen_set_domain_pte() to allow setting a pte mapping a page from another domain. The common case is to map from DOMID_IO, the pseudo domain which owns all IO pages, but will also be used in the privcmd interface to map other domain pages. [ Impact: new Xen-internal API for cross-domain mappings ] Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>