diff options
Diffstat (limited to 'xen/arch/x86/hvm/platform.c')
| -rw-r--r-- | xen/arch/x86/hvm/platform.c | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/xen/arch/x86/hvm/platform.c b/xen/arch/x86/hvm/platform.c index f1bfd4c479..920e7786a0 100644 --- a/xen/arch/x86/hvm/platform.c +++ b/xen/arch/x86/hvm/platform.c @@ -21,7 +21,7 @@ #include <xen/config.h> #include <xen/types.h> #include <xen/mm.h> -#include <asm/shadow.h> +#include <xen/shadow.h> #include <xen/domain_page.h> #include <asm/page.h> #include <xen/event.h> @@ -35,9 +35,6 @@ #include <xen/lib.h> #include <xen/sched.h> #include <asm/current.h> -#if CONFIG_PAGING_LEVELS >= 3 -#include <asm/shadow_64.h> -#endif #define DECODE_success 1 #define DECODE_failure 0 @@ -724,7 +721,7 @@ void send_pio_req(struct cpu_user_regs *regs, unsigned long port, if (pvalid) { if (hvm_paging_enabled(current)) - p->u.pdata = (void *) gva_to_gpa(value); + p->u.data = shadow2_gva_to_gpa(current, value); else p->u.pdata = (void *) value; /* guest VA == guest PA */ } else @@ -774,7 +771,7 @@ void send_mmio_req( if (pvalid) { if (hvm_paging_enabled(v)) - p->u.pdata = (void *) gva_to_gpa(value); + p->u.data = shadow2_gva_to_gpa(v, value); else p->u.pdata = (void *) value; /* guest VA == guest PA */ } else |