* [PATCH v2 0/4] Various XSA followups
@ 2017-09-08 16:05 Alexandru Isaila
2017-09-08 16:05 ` [PATCH v2 1/4] x86/shadow: Use ERR_PTR infrastructure for sh_emulate_map_dest() Alexandru Isaila
` (4 more replies)
0 siblings, 5 replies; 22+ messages in thread
From: Alexandru Isaila @ 2017-09-08 16:05 UTC (permalink / raw)
To: xen-devel
Cc: jun.nakajima, kevin.tian, sstabellini, wei.liu2,
suravee.suthikulpanit, george.dunlap, andrew.cooper3, tim,
paul.durrant, jbeulich, boris.ostrovsky, ian.jackson
XSA-219 was discovered while trying to implement the bugfix in patch 4.
Andrew Cooper (4):
x86/shadow: Use ERR_PTR infrastructure for sh_emulate_map_dest()
[RFC] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result
x86/hvm: Break out __hvm_copy()'s translation logic
x86/hvm: Implement hvmemul_write() using real mappings
Alexandru Isaila (2):
x86/hvm: Break out __hvm_copy()'s translation logic
x86/hvm: Implement hvmemul_write() using real mappings
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* [PATCH v2 1/4] x86/shadow: Use ERR_PTR infrastructure for sh_emulate_map_dest()
2017-09-08 16:05 [PATCH v2 0/4] Various XSA followups Alexandru Isaila
@ 2017-09-08 16:05 ` Alexandru Isaila
2017-09-12 9:37 ` Wei Liu
2017-09-08 16:05 ` [PATCH v2 2/4] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result Alexandru Isaila
` (3 subsequent siblings)
4 siblings, 1 reply; 22+ messages in thread
From: Alexandru Isaila @ 2017-09-08 16:05 UTC (permalink / raw)
To: xen-devel
Cc: jun.nakajima, kevin.tian, sstabellini, wei.liu2,
suravee.suthikulpanit, george.dunlap, andrew.cooper3, tim,
paul.durrant, Jan Beulich, boris.ostrovsky, ian.jackson
From: Andrew Cooper <andrew.cooper3@citrix.com>
sh_emulate_map_dest() predates the introduction of the generic ERR_PTR()
infrastructure, but take the opportunity to avoid opencoding it.
The chosen error constants require need to be negative to work with IS_ERR(),
but no other changes.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
---
CC: Jan Beulich <JBeulich@suse.com>
CC: Tim Deegan <tim@xen.org>
v2:
* Use ~(long)X86EMUL rather than -X86EMUL so MAPPING_SILENT_FAIL is
considered an error to IS_ERR()
---
xen/arch/x86/mm/shadow/multi.c | 8 ++++----
xen/arch/x86/mm/shadow/private.h | 7 +++----
2 files changed, 7 insertions(+), 8 deletions(-)
diff --git a/xen/arch/x86/mm/shadow/multi.c b/xen/arch/x86/mm/shadow/multi.c
index f7efe66..8d4f244 100644
--- a/xen/arch/x86/mm/shadow/multi.c
+++ b/xen/arch/x86/mm/shadow/multi.c
@@ -4754,8 +4754,8 @@ sh_x86_emulate_write(struct vcpu *v, unsigned long vaddr, void *src,
return X86EMUL_UNHANDLEABLE;
addr = sh_emulate_map_dest(v, vaddr, bytes, sh_ctxt);
- if ( sh_emulate_map_dest_failed(addr) )
- return (long)addr;
+ if ( IS_ERR(addr) )
+ return ~PTR_ERR(addr);
paging_lock(v->domain);
memcpy(addr, src, bytes);
@@ -4796,8 +4796,8 @@ sh_x86_emulate_cmpxchg(struct vcpu *v, unsigned long vaddr,
return X86EMUL_UNHANDLEABLE;
addr = sh_emulate_map_dest(v, vaddr, bytes, sh_ctxt);
- if ( sh_emulate_map_dest_failed(addr) )
- return (long)addr;
+ if ( IS_ERR(addr) )
+ return ~PTR_ERR(addr);
paging_lock(v->domain);
switch ( bytes )
diff --git a/xen/arch/x86/mm/shadow/private.h b/xen/arch/x86/mm/shadow/private.h
index 46d9bab..6a03370 100644
--- a/xen/arch/x86/mm/shadow/private.h
+++ b/xen/arch/x86/mm/shadow/private.h
@@ -395,10 +395,9 @@ void shadow_unhook_mappings(struct domain *d, mfn_t smfn, int user_only);
/* Returns a mapped pointer to write to, or one of the following error
* indicators. */
-#define MAPPING_UNHANDLEABLE ((void *)(unsigned long)X86EMUL_UNHANDLEABLE)
-#define MAPPING_EXCEPTION ((void *)(unsigned long)X86EMUL_EXCEPTION)
-#define MAPPING_SILENT_FAIL ((void *)(unsigned long)X86EMUL_OKAY)
-#define sh_emulate_map_dest_failed(rc) ((unsigned long)(rc) <= 3)
+#define MAPPING_UNHANDLEABLE ERR_PTR(~(long)X86EMUL_UNHANDLEABLE)
+#define MAPPING_EXCEPTION ERR_PTR(~(long)X86EMUL_EXCEPTION)
+#define MAPPING_SILENT_FAIL ERR_PTR(~(long)X86EMUL_OKAY)
void *sh_emulate_map_dest(struct vcpu *v, unsigned long vaddr,
unsigned int bytes, struct sh_emulate_ctxt *sh_ctxt);
void sh_emulate_unmap_dest(struct vcpu *v, void *addr, unsigned int bytes,
--
2.7.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply related [flat|nested] 22+ messages in thread
* [PATCH v2 2/4] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result
2017-09-08 16:05 [PATCH v2 0/4] Various XSA followups Alexandru Isaila
2017-09-08 16:05 ` [PATCH v2 1/4] x86/shadow: Use ERR_PTR infrastructure for sh_emulate_map_dest() Alexandru Isaila
@ 2017-09-08 16:05 ` Alexandru Isaila
2017-09-11 13:27 ` George Dunlap
` (2 more replies)
2017-09-08 16:05 ` [PATCH v2 3/4] x86/hvm: Break out __hvm_copy()'s translation logic Alexandru Isaila
` (2 subsequent siblings)
4 siblings, 3 replies; 22+ messages in thread
From: Alexandru Isaila @ 2017-09-08 16:05 UTC (permalink / raw)
To: xen-devel
Cc: jun.nakajima, kevin.tian, sstabellini, wei.liu2,
suravee.suthikulpanit, george.dunlap, andrew.cooper3, tim,
paul.durrant, Jan Beulich, boris.ostrovsky, ian.jackson
From: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
---
CC: Jan Beulich <JBeulich@suse.com>
---
xen/arch/x86/hvm/dom0_build.c | 2 +-
xen/arch/x86/hvm/emulate.c | 40 ++++++++++++++--------------
xen/arch/x86/hvm/hvm.c | 56 +++++++++++++++++++--------------------
xen/arch/x86/hvm/intercept.c | 20 +++++++-------
xen/arch/x86/hvm/svm/nestedsvm.c | 5 ++--
xen/arch/x86/hvm/svm/svm.c | 2 +-
xen/arch/x86/hvm/viridian.c | 2 +-
xen/arch/x86/hvm/vmsi.c | 2 +-
xen/arch/x86/hvm/vmx/realmode.c | 2 +-
xen/arch/x86/hvm/vmx/vvmx.c | 14 +++++-----
xen/arch/x86/mm/shadow/common.c | 12 ++++-----
xen/common/libelf/libelf-loader.c | 4 +--
xen/include/asm-x86/hvm/support.h | 40 ++++++++++++++--------------
13 files changed, 101 insertions(+), 100 deletions(-)
diff --git a/xen/arch/x86/hvm/dom0_build.c b/xen/arch/x86/hvm/dom0_build.c
index 020c355..e8f746c 100644
--- a/xen/arch/x86/hvm/dom0_build.c
+++ b/xen/arch/x86/hvm/dom0_build.c
@@ -238,7 +238,7 @@ static int __init pvh_setup_vmx_realmode_helpers(struct domain *d)
if ( !pvh_steal_ram(d, HVM_VM86_TSS_SIZE, 128, GB(4), &gaddr) )
{
if ( hvm_copy_to_guest_phys(gaddr, NULL, HVM_VM86_TSS_SIZE, v) !=
- HVMCOPY_okay )
+ HVMTRANS_okay )
printk("Unable to zero VM86 TSS area\n");
d->arch.hvm_domain.params[HVM_PARAM_VM86_TSS_SIZED] =
VM86_TSS_UPDATED | ((uint64_t)HVM_VM86_TSS_SIZE << 32) | gaddr;
diff --git a/xen/arch/x86/hvm/emulate.c b/xen/arch/x86/hvm/emulate.c
index 64454c7..c871cb3 100644
--- a/xen/arch/x86/hvm/emulate.c
+++ b/xen/arch/x86/hvm/emulate.c
@@ -100,7 +100,7 @@ static int ioreq_server_read(const struct hvm_io_handler *io_handler,
uint32_t size,
uint64_t *data)
{
- if ( hvm_copy_from_guest_phys(data, addr, size) != HVMCOPY_okay )
+ if ( hvm_copy_from_guest_phys(data, addr, size) != HVMTRANS_okay )
return X86EMUL_UNHANDLEABLE;
return X86EMUL_OKAY;
@@ -892,18 +892,18 @@ static int __hvmemul_read(
switch ( rc )
{
- case HVMCOPY_okay:
+ case HVMTRANS_okay:
break;
- case HVMCOPY_bad_gva_to_gfn:
+ case HVMTRANS_bad_linear_to_gfn:
x86_emul_pagefault(pfinfo.ec, pfinfo.linear, &hvmemul_ctxt->ctxt);
return X86EMUL_EXCEPTION;
- case HVMCOPY_bad_gfn_to_mfn:
+ case HVMTRANS_bad_gfn_to_mfn:
if ( access_type == hvm_access_insn_fetch )
return X86EMUL_UNHANDLEABLE;
return hvmemul_linear_mmio_read(addr, bytes, p_data, pfec, hvmemul_ctxt, 0);
- case HVMCOPY_gfn_paged_out:
- case HVMCOPY_gfn_shared:
+ case HVMTRANS_gfn_paged_out:
+ case HVMTRANS_gfn_shared:
return X86EMUL_RETRY;
default:
return X86EMUL_UNHANDLEABLE;
@@ -1011,15 +1011,15 @@ static int hvmemul_write(
switch ( rc )
{
- case HVMCOPY_okay:
+ case HVMTRANS_okay:
break;
- case HVMCOPY_bad_gva_to_gfn:
+ case HVMTRANS_bad_linear_to_gfn:
x86_emul_pagefault(pfinfo.ec, pfinfo.linear, &hvmemul_ctxt->ctxt);
return X86EMUL_EXCEPTION;
- case HVMCOPY_bad_gfn_to_mfn:
+ case HVMTRANS_bad_gfn_to_mfn:
return hvmemul_linear_mmio_write(addr, bytes, p_data, pfec, hvmemul_ctxt, 0);
- case HVMCOPY_gfn_paged_out:
- case HVMCOPY_gfn_shared:
+ case HVMTRANS_gfn_paged_out:
+ case HVMTRANS_gfn_shared:
return X86EMUL_RETRY;
default:
return X86EMUL_UNHANDLEABLE;
@@ -1383,7 +1383,7 @@ static int hvmemul_rep_movs(
return rc;
}
- rc = HVMCOPY_okay;
+ rc = HVMTRANS_okay;
}
else
/*
@@ -1393,16 +1393,16 @@ static int hvmemul_rep_movs(
*/
rc = hvm_copy_from_guest_phys(buf, sgpa, bytes);
- if ( rc == HVMCOPY_okay )
+ if ( rc == HVMTRANS_okay )
rc = hvm_copy_to_guest_phys(dgpa, buf, bytes, current);
xfree(buf);
- if ( rc == HVMCOPY_gfn_paged_out )
+ if ( rc == HVMTRANS_gfn_paged_out )
return X86EMUL_RETRY;
- if ( rc == HVMCOPY_gfn_shared )
+ if ( rc == HVMTRANS_gfn_shared )
return X86EMUL_RETRY;
- if ( rc != HVMCOPY_okay )
+ if ( rc != HVMTRANS_okay )
{
gdprintk(XENLOG_WARNING, "Failed memory-to-memory REP MOVS: sgpa=%"
PRIpaddr" dgpa=%"PRIpaddr" reps=%lu bytes_per_rep=%u\n",
@@ -1512,10 +1512,10 @@ static int hvmemul_rep_stos(
switch ( rc )
{
- case HVMCOPY_gfn_paged_out:
- case HVMCOPY_gfn_shared:
+ case HVMTRANS_gfn_paged_out:
+ case HVMTRANS_gfn_shared:
return X86EMUL_RETRY;
- case HVMCOPY_okay:
+ case HVMTRANS_okay:
return X86EMUL_OKAY;
}
@@ -2171,7 +2171,7 @@ void hvm_emulate_init_per_insn(
&addr) &&
hvm_fetch_from_guest_linear(hvmemul_ctxt->insn_buf, addr,
sizeof(hvmemul_ctxt->insn_buf),
- pfec, NULL) == HVMCOPY_okay) ?
+ pfec, NULL) == HVMTRANS_okay) ?
sizeof(hvmemul_ctxt->insn_buf) : 0;
}
else
diff --git a/xen/arch/x86/hvm/hvm.c b/xen/arch/x86/hvm/hvm.c
index 6cb903d..488acbf 100644
--- a/xen/arch/x86/hvm/hvm.c
+++ b/xen/arch/x86/hvm/hvm.c
@@ -2915,9 +2915,9 @@ void hvm_task_switch(
rc = hvm_copy_from_guest_linear(
&tss, prev_tr.base, sizeof(tss), PFEC_page_present, &pfinfo);
- if ( rc == HVMCOPY_bad_gva_to_gfn )
+ if ( rc == HVMTRANS_bad_linear_to_gfn )
hvm_inject_page_fault(pfinfo.ec, pfinfo.linear);
- if ( rc != HVMCOPY_okay )
+ if ( rc != HVMTRANS_okay )
goto out;
eflags = regs->eflags;
@@ -2955,20 +2955,20 @@ void hvm_task_switch(
offsetof(typeof(tss), trace) -
offsetof(typeof(tss), eip),
PFEC_page_present, &pfinfo);
- if ( rc == HVMCOPY_bad_gva_to_gfn )
+ if ( rc == HVMTRANS_bad_linear_to_gfn )
hvm_inject_page_fault(pfinfo.ec, pfinfo.linear);
- if ( rc != HVMCOPY_okay )
+ if ( rc != HVMTRANS_okay )
goto out;
rc = hvm_copy_from_guest_linear(
&tss, tr.base, sizeof(tss), PFEC_page_present, &pfinfo);
- if ( rc == HVMCOPY_bad_gva_to_gfn )
+ if ( rc == HVMTRANS_bad_linear_to_gfn )
hvm_inject_page_fault(pfinfo.ec, pfinfo.linear);
/*
- * Note: The HVMCOPY_gfn_shared case could be optimised, if the callee
+ * Note: The HVMTRANS_gfn_shared case could be optimised, if the callee
* functions knew we want RO access.
*/
- if ( rc != HVMCOPY_okay )
+ if ( rc != HVMTRANS_okay )
goto out;
new_cpl = tss.eflags & X86_EFLAGS_VM ? 3 : tss.cs & 3;
@@ -3010,12 +3010,12 @@ void hvm_task_switch(
rc = hvm_copy_to_guest_linear(tr.base + offsetof(typeof(tss), back_link),
&tss.back_link, sizeof(tss.back_link), 0,
&pfinfo);
- if ( rc == HVMCOPY_bad_gva_to_gfn )
+ if ( rc == HVMTRANS_bad_linear_to_gfn )
{
hvm_inject_page_fault(pfinfo.ec, pfinfo.linear);
exn_raised = 1;
}
- else if ( rc != HVMCOPY_okay )
+ else if ( rc != HVMTRANS_okay )
goto out;
}
@@ -3051,12 +3051,12 @@ void hvm_task_switch(
{
rc = hvm_copy_to_guest_linear(linear_addr, &errcode, opsz, 0,
&pfinfo);
- if ( rc == HVMCOPY_bad_gva_to_gfn )
+ if ( rc == HVMTRANS_bad_linear_to_gfn )
{
hvm_inject_page_fault(pfinfo.ec, pfinfo.linear);
exn_raised = 1;
}
- else if ( rc != HVMCOPY_okay )
+ else if ( rc != HVMTRANS_okay )
goto out;
}
}
@@ -3073,7 +3073,7 @@ void hvm_task_switch(
#define HVMCOPY_to_guest (1u<<0)
#define HVMCOPY_phys (0u<<2)
#define HVMCOPY_linear (1u<<2)
-static enum hvm_copy_result __hvm_copy(
+static enum hvm_translation_result __hvm_copy(
void *buf, paddr_t addr, int size, struct vcpu *v, unsigned int flags,
uint32_t pfec, pagefault_info_t *pfinfo)
{
@@ -3098,7 +3098,7 @@ static enum hvm_copy_result __hvm_copy(
* Hence we bail immediately if called from atomic context.
*/
if ( in_atomic() )
- return HVMCOPY_unhandleable;
+ return HVMTRANS_unhandleable;
#endif
while ( todo > 0 )
@@ -3113,15 +3113,15 @@ static enum hvm_copy_result __hvm_copy(
if ( gfn == gfn_x(INVALID_GFN) )
{
if ( pfec & PFEC_page_paged )
- return HVMCOPY_gfn_paged_out;
+ return HVMTRANS_gfn_paged_out;
if ( pfec & PFEC_page_shared )
- return HVMCOPY_gfn_shared;
+ return HVMTRANS_gfn_shared;
if ( pfinfo )
{
pfinfo->linear = addr;
pfinfo->ec = pfec & ~PFEC_implicit;
}
- return HVMCOPY_bad_gva_to_gfn;
+ return HVMTRANS_bad_linear_to_gfn;
}
gpa |= (paddr_t)gfn << PAGE_SHIFT;
}
@@ -3139,28 +3139,28 @@ static enum hvm_copy_result __hvm_copy(
if ( v == current
&& !nestedhvm_vcpu_in_guestmode(v)
&& hvm_mmio_internal(gpa) )
- return HVMCOPY_bad_gfn_to_mfn;
+ return HVMTRANS_bad_gfn_to_mfn;
page = get_page_from_gfn(v->domain, gfn, &p2mt, P2M_UNSHARE);
if ( !page )
- return HVMCOPY_bad_gfn_to_mfn;
+ return HVMTRANS_bad_gfn_to_mfn;
if ( p2m_is_paging(p2mt) )
{
put_page(page);
p2m_mem_paging_populate(v->domain, gfn);
- return HVMCOPY_gfn_paged_out;
+ return HVMTRANS_gfn_paged_out;
}
if ( p2m_is_shared(p2mt) )
{
put_page(page);
- return HVMCOPY_gfn_shared;
+ return HVMTRANS_gfn_shared;
}
if ( p2m_is_grant(p2mt) )
{
put_page(page);
- return HVMCOPY_unhandleable;
+ return HVMTRANS_unhandleable;
}
p = (char *)__map_domain_page(page) + (addr & ~PAGE_MASK);
@@ -3198,24 +3198,24 @@ static enum hvm_copy_result __hvm_copy(
put_page(page);
}
- return HVMCOPY_okay;
+ return HVMTRANS_okay;
}
-enum hvm_copy_result hvm_copy_to_guest_phys(
+enum hvm_translation_result hvm_copy_to_guest_phys(
paddr_t paddr, void *buf, int size, struct vcpu *v)
{
return __hvm_copy(buf, paddr, size, v,
HVMCOPY_to_guest | HVMCOPY_phys, 0, NULL);
}
-enum hvm_copy_result hvm_copy_from_guest_phys(
+enum hvm_translation_result hvm_copy_from_guest_phys(
void *buf, paddr_t paddr, int size)
{
return __hvm_copy(buf, paddr, size, current,
HVMCOPY_from_guest | HVMCOPY_phys, 0, NULL);
}
-enum hvm_copy_result hvm_copy_to_guest_linear(
+enum hvm_translation_result hvm_copy_to_guest_linear(
unsigned long addr, void *buf, int size, uint32_t pfec,
pagefault_info_t *pfinfo)
{
@@ -3224,7 +3224,7 @@ enum hvm_copy_result hvm_copy_to_guest_linear(
PFEC_page_present | PFEC_write_access | pfec, pfinfo);
}
-enum hvm_copy_result hvm_copy_from_guest_linear(
+enum hvm_translation_result hvm_copy_from_guest_linear(
void *buf, unsigned long addr, int size, uint32_t pfec,
pagefault_info_t *pfinfo)
{
@@ -3233,7 +3233,7 @@ enum hvm_copy_result hvm_copy_from_guest_linear(
PFEC_page_present | pfec, pfinfo);
}
-enum hvm_copy_result hvm_fetch_from_guest_linear(
+enum hvm_translation_result hvm_fetch_from_guest_linear(
void *buf, unsigned long addr, int size, uint32_t pfec,
pagefault_info_t *pfinfo)
{
@@ -3670,7 +3670,7 @@ void hvm_ud_intercept(struct cpu_user_regs *regs)
sizeof(sig), hvm_access_insn_fetch,
cs, &addr) &&
(hvm_fetch_from_guest_linear(sig, addr, sizeof(sig),
- walk, NULL) == HVMCOPY_okay) &&
+ walk, NULL) == HVMTRANS_okay) &&
(memcmp(sig, "\xf\xbxen", sizeof(sig)) == 0) )
{
regs->rip += sizeof(sig);
diff --git a/xen/arch/x86/hvm/intercept.c b/xen/arch/x86/hvm/intercept.c
index e51efd5..ef82419 100644
--- a/xen/arch/x86/hvm/intercept.c
+++ b/xen/arch/x86/hvm/intercept.c
@@ -136,14 +136,14 @@ int hvm_process_io_intercept(const struct hvm_io_handler *handler,
switch ( hvm_copy_to_guest_phys(p->data + step * i,
&data, p->size, current) )
{
- case HVMCOPY_okay:
+ case HVMTRANS_okay:
break;
- case HVMCOPY_bad_gfn_to_mfn:
+ case HVMTRANS_bad_gfn_to_mfn:
/* Drop the write as real hardware would. */
continue;
- case HVMCOPY_bad_gva_to_gfn:
- case HVMCOPY_gfn_paged_out:
- case HVMCOPY_gfn_shared:
+ case HVMTRANS_bad_linear_to_gfn:
+ case HVMTRANS_gfn_paged_out:
+ case HVMTRANS_gfn_shared:
ASSERT_UNREACHABLE();
/* fall through */
default:
@@ -164,14 +164,14 @@ int hvm_process_io_intercept(const struct hvm_io_handler *handler,
switch ( hvm_copy_from_guest_phys(&data, p->data + step * i,
p->size) )
{
- case HVMCOPY_okay:
+ case HVMTRANS_okay:
break;
- case HVMCOPY_bad_gfn_to_mfn:
+ case HVMTRANS_bad_gfn_to_mfn:
data = ~0;
break;
- case HVMCOPY_bad_gva_to_gfn:
- case HVMCOPY_gfn_paged_out:
- case HVMCOPY_gfn_shared:
+ case HVMTRANS_bad_linear_to_gfn:
+ case HVMTRANS_gfn_paged_out:
+ case HVMTRANS_gfn_shared:
ASSERT_UNREACHABLE();
/* fall through */
default:
diff --git a/xen/arch/x86/hvm/svm/nestedsvm.c b/xen/arch/x86/hvm/svm/nestedsvm.c
index 8fd9c23..66a1777 100644
--- a/xen/arch/x86/hvm/svm/nestedsvm.c
+++ b/xen/arch/x86/hvm/svm/nestedsvm.c
@@ -357,7 +357,7 @@ static int nsvm_vmrun_permissionmap(struct vcpu *v, bool_t viopm)
struct vmcb_struct *host_vmcb = arch_svm->vmcb;
unsigned long *ns_msrpm_ptr;
unsigned int i;
- enum hvm_copy_result ret;
+ enum hvm_translation_result ret;
unsigned long *ns_viomap;
bool_t ioport_80 = 1, ioport_ed = 1;
@@ -365,7 +365,8 @@ static int nsvm_vmrun_permissionmap(struct vcpu *v, bool_t viopm)
ret = hvm_copy_from_guest_phys(svm->ns_cached_msrpm,
ns_vmcb->_msrpm_base_pa, MSRPM_SIZE);
- if (ret != HVMCOPY_okay) {
+ if ( ret != HVMTRANS_okay )
+ {
gdprintk(XENLOG_ERR, "hvm_copy_from_guest_phys msrpm %u\n", ret);
return 1;
}
diff --git a/xen/arch/x86/hvm/svm/svm.c b/xen/arch/x86/hvm/svm/svm.c
index 6b19b16..12ddc8a 100644
--- a/xen/arch/x86/hvm/svm/svm.c
+++ b/xen/arch/x86/hvm/svm/svm.c
@@ -1266,7 +1266,7 @@ static void svm_emul_swint_injection(struct x86_event *event)
PFEC_implicit, &pfinfo);
if ( rc )
{
- if ( rc == HVMCOPY_bad_gva_to_gfn )
+ if ( rc == HVMTRANS_bad_linear_to_gfn )
{
fault = TRAP_page_fault;
ec = pfinfo.ec;
diff --git a/xen/arch/x86/hvm/viridian.c b/xen/arch/x86/hvm/viridian.c
index e0546f3..f0fa59d 100644
--- a/xen/arch/x86/hvm/viridian.c
+++ b/xen/arch/x86/hvm/viridian.c
@@ -914,7 +914,7 @@ int viridian_hypercall(struct cpu_user_regs *regs)
/* Get input parameters. */
if ( hvm_copy_from_guest_phys(&input_params, input_params_gpa,
- sizeof(input_params)) != HVMCOPY_okay )
+ sizeof(input_params)) != HVMTRANS_okay )
break;
/*
diff --git a/xen/arch/x86/hvm/vmsi.c b/xen/arch/x86/hvm/vmsi.c
index 9b35e9b..7126de7 100644
--- a/xen/arch/x86/hvm/vmsi.c
+++ b/xen/arch/x86/hvm/vmsi.c
@@ -609,7 +609,7 @@ void msix_write_completion(struct vcpu *v)
if ( desc &&
hvm_copy_from_guest_phys(&data,
v->arch.hvm_vcpu.hvm_io.msix_snoop_gpa,
- sizeof(data)) == HVMCOPY_okay &&
+ sizeof(data)) == HVMTRANS_okay &&
!(data & PCI_MSIX_VECTOR_BITMASK) )
ctrl_address = snoop_addr;
}
diff --git a/xen/arch/x86/hvm/vmx/realmode.c b/xen/arch/x86/hvm/vmx/realmode.c
index 11bde58..12d43ad 100644
--- a/xen/arch/x86/hvm/vmx/realmode.c
+++ b/xen/arch/x86/hvm/vmx/realmode.c
@@ -40,7 +40,7 @@ static void realmode_deliver_exception(
last_byte = (vector * 4) + 3;
if ( idtr->limit < last_byte ||
hvm_copy_from_guest_phys(&cs_eip, idtr->base + vector * 4, 4) !=
- HVMCOPY_okay )
+ HVMTRANS_okay )
{
/* Software interrupt? */
if ( insn_len != 0 )
diff --git a/xen/arch/x86/hvm/vmx/vvmx.c b/xen/arch/x86/hvm/vmx/vvmx.c
index e2361a1..cd0ee0a 100644
--- a/xen/arch/x86/hvm/vmx/vvmx.c
+++ b/xen/arch/x86/hvm/vmx/vvmx.c
@@ -481,9 +481,9 @@ static int decode_vmx_inst(struct cpu_user_regs *regs,
int rc = hvm_copy_from_guest_linear(poperandS, base, size,
0, &pfinfo);
- if ( rc == HVMCOPY_bad_gva_to_gfn )
+ if ( rc == HVMTRANS_bad_linear_to_gfn )
hvm_inject_page_fault(pfinfo.ec, pfinfo.linear);
- if ( rc != HVMCOPY_okay )
+ if ( rc != HVMTRANS_okay )
return X86EMUL_EXCEPTION;
}
decode->mem = base;
@@ -1468,7 +1468,7 @@ int nvmx_handle_vmxon(struct cpu_user_regs *regs)
}
rc = hvm_copy_from_guest_phys(&nvmcs_revid, gpa, sizeof(nvmcs_revid));
- if ( rc != HVMCOPY_okay ||
+ if ( rc != HVMTRANS_okay ||
(nvmcs_revid & ~VMX_BASIC_REVISION_MASK) ||
((nvmcs_revid ^ vmx_basic_msr) & VMX_BASIC_REVISION_MASK) )
{
@@ -1746,9 +1746,9 @@ int nvmx_handle_vmptrst(struct cpu_user_regs *regs)
gpa = nvcpu->nv_vvmcxaddr;
rc = hvm_copy_to_guest_linear(decode.mem, &gpa, decode.len, 0, &pfinfo);
- if ( rc == HVMCOPY_bad_gva_to_gfn )
+ if ( rc == HVMTRANS_bad_linear_to_gfn )
hvm_inject_page_fault(pfinfo.ec, pfinfo.linear);
- if ( rc != HVMCOPY_okay )
+ if ( rc != HVMTRANS_okay )
return X86EMUL_EXCEPTION;
vmsucceed(regs);
@@ -1835,9 +1835,9 @@ int nvmx_handle_vmread(struct cpu_user_regs *regs)
switch ( decode.type ) {
case VMX_INST_MEMREG_TYPE_MEMORY:
rc = hvm_copy_to_guest_linear(decode.mem, &value, decode.len, 0, &pfinfo);
- if ( rc == HVMCOPY_bad_gva_to_gfn )
+ if ( rc == HVMTRANS_bad_linear_to_gfn )
hvm_inject_page_fault(pfinfo.ec, pfinfo.linear);
- if ( rc != HVMCOPY_okay )
+ if ( rc != HVMTRANS_okay )
return X86EMUL_EXCEPTION;
break;
case VMX_INST_MEMREG_TYPE_REG:
diff --git a/xen/arch/x86/mm/shadow/common.c b/xen/arch/x86/mm/shadow/common.c
index 3926ed6..8b9310c 100644
--- a/xen/arch/x86/mm/shadow/common.c
+++ b/xen/arch/x86/mm/shadow/common.c
@@ -196,16 +196,16 @@ hvm_read(enum x86_segment seg,
switch ( rc )
{
- case HVMCOPY_okay:
+ case HVMTRANS_okay:
return X86EMUL_OKAY;
- case HVMCOPY_bad_gva_to_gfn:
+ case HVMTRANS_bad_linear_to_gfn:
x86_emul_pagefault(pfinfo.ec, pfinfo.linear, &sh_ctxt->ctxt);
return X86EMUL_EXCEPTION;
- case HVMCOPY_bad_gfn_to_mfn:
- case HVMCOPY_unhandleable:
+ case HVMTRANS_bad_gfn_to_mfn:
+ case HVMTRANS_unhandleable:
return X86EMUL_UNHANDLEABLE;
- case HVMCOPY_gfn_paged_out:
- case HVMCOPY_gfn_shared:
+ case HVMTRANS_gfn_paged_out:
+ case HVMTRANS_gfn_shared:
return X86EMUL_RETRY;
}
diff --git a/xen/common/libelf/libelf-loader.c b/xen/common/libelf/libelf-loader.c
index c8b7ec9..0f46872 100644
--- a/xen/common/libelf/libelf-loader.c
+++ b/xen/common/libelf/libelf-loader.c
@@ -154,10 +154,10 @@ static elf_errorstatus elf_memcpy(struct vcpu *v, void *dst, void *src,
#ifdef CONFIG_X86
if ( is_hvm_vcpu(v) )
{
- enum hvm_copy_result rc;
+ enum hvm_translation_result rc;
rc = hvm_copy_to_guest_phys((paddr_t)dst, src, size, v);
- return rc != HVMCOPY_okay ? -1 : 0;
+ return rc != HVMTRANS_okay ? -1 : 0;
}
#endif
diff --git a/xen/include/asm-x86/hvm/support.h b/xen/include/asm-x86/hvm/support.h
index b18dbb6..e3b035d 100644
--- a/xen/include/asm-x86/hvm/support.h
+++ b/xen/include/asm-x86/hvm/support.h
@@ -53,23 +53,23 @@ extern unsigned int opt_hvm_debug_level;
extern unsigned long hvm_io_bitmap[];
-enum hvm_copy_result {
- HVMCOPY_okay = 0,
- HVMCOPY_bad_gva_to_gfn,
- HVMCOPY_bad_gfn_to_mfn,
- HVMCOPY_unhandleable,
- HVMCOPY_gfn_paged_out,
- HVMCOPY_gfn_shared,
+enum hvm_translation_result {
+ HVMTRANS_okay,
+ HVMTRANS_bad_linear_to_gfn,
+ HVMTRANS_bad_gfn_to_mfn,
+ HVMTRANS_unhandleable,
+ HVMTRANS_gfn_paged_out,
+ HVMTRANS_gfn_shared,
};
/*
* Copy to/from a guest physical address.
- * Returns HVMCOPY_okay, else HVMCOPY_bad_gfn_to_mfn if the given physical
+ * Returns HVMTRANS_okay, else HVMTRANS_bad_gfn_to_mfn if the given physical
* address range does not map entirely onto ordinary machine memory.
*/
-enum hvm_copy_result hvm_copy_to_guest_phys(
+enum hvm_translation_result hvm_copy_to_guest_phys(
paddr_t paddr, void *buf, int size, struct vcpu *v);
-enum hvm_copy_result hvm_copy_from_guest_phys(
+enum hvm_translation_result hvm_copy_from_guest_phys(
void *buf, paddr_t paddr, int size);
/*
@@ -79,13 +79,13 @@ enum hvm_copy_result hvm_copy_from_guest_phys(
* to set them.
*
* Returns:
- * HVMCOPY_okay: Copy was entirely successful.
- * HVMCOPY_bad_gfn_to_mfn: Some guest physical address did not map to
- * ordinary machine memory.
- * HVMCOPY_bad_gva_to_gfn: Some guest virtual address did not have a valid
- * mapping to a guest physical address. The
- * pagefault_info_t structure will be filled in if
- * provided.
+ * HVMTRANS_okay: Copy was entirely successful.
+ * HVMTRANS_bad_gfn_to_mfn: Some guest physical address did not map to
+ * ordinary machine memory.
+ * HVMTRANS_bad_linear_to_gfn: Some guest linear address did not have a
+ * valid mapping to a guest physical address.
+ * The pagefault_info_t structure will be filled
+ * in if provided.
*/
typedef struct pagefault_info
{
@@ -93,13 +93,13 @@ typedef struct pagefault_info
int ec;
} pagefault_info_t;
-enum hvm_copy_result hvm_copy_to_guest_linear(
+enum hvm_translation_result hvm_copy_to_guest_linear(
unsigned long addr, void *buf, int size, uint32_t pfec,
pagefault_info_t *pfinfo);
-enum hvm_copy_result hvm_copy_from_guest_linear(
+enum hvm_translation_result hvm_copy_from_guest_linear(
void *buf, unsigned long addr, int size, uint32_t pfec,
pagefault_info_t *pfinfo);
-enum hvm_copy_result hvm_fetch_from_guest_linear(
+enum hvm_translation_result hvm_fetch_from_guest_linear(
void *buf, unsigned long addr, int size, uint32_t pfec,
pagefault_info_t *pfinfo);
--
2.7.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply related [flat|nested] 22+ messages in thread
* [PATCH v2 3/4] x86/hvm: Break out __hvm_copy()'s translation logic
2017-09-08 16:05 [PATCH v2 0/4] Various XSA followups Alexandru Isaila
2017-09-08 16:05 ` [PATCH v2 1/4] x86/shadow: Use ERR_PTR infrastructure for sh_emulate_map_dest() Alexandru Isaila
2017-09-08 16:05 ` [PATCH v2 2/4] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result Alexandru Isaila
@ 2017-09-08 16:05 ` Alexandru Isaila
2017-09-18 13:18 ` Jan Beulich
2017-09-08 16:05 ` [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings Alexandru Isaila
2017-09-08 20:03 ` [PATCH v2 0/4] Various XSA followups Tim Deegan
4 siblings, 1 reply; 22+ messages in thread
From: Alexandru Isaila @ 2017-09-08 16:05 UTC (permalink / raw)
To: xen-devel
Cc: jun.nakajima, kevin.tian, sstabellini, wei.liu2,
suravee.suthikulpanit, george.dunlap, andrew.cooper3, tim,
paul.durrant, Jan Beulich, Alexandru Isaila, boris.ostrovsky,
ian.jackson
From: Andrew Cooper <andrew.cooper3@citrix.com>
It will be reused by later changes.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Alexandru Isaila <aisaila@bitdefender.com>
---
CC: Jan Beulich <JBeulich@suse.com>
Changes since V1:
- Changed param name
- Added ASSERT
---
xen/arch/x86/hvm/hvm.c | 144 +++++++++++++++++++++++---------------
xen/include/asm-x86/hvm/support.h | 12 ++++
2 files changed, 98 insertions(+), 58 deletions(-)
diff --git a/xen/arch/x86/hvm/hvm.c b/xen/arch/x86/hvm/hvm.c
index 488acbf..a60149a 100644
--- a/xen/arch/x86/hvm/hvm.c
+++ b/xen/arch/x86/hvm/hvm.c
@@ -3069,6 +3069,83 @@ void hvm_task_switch(
hvm_unmap_entry(nptss_desc);
}
+enum hvm_translation_result hvm_translate_get_page(
+ struct vcpu *v, unsigned long addr, bool linear, uint32_t pfec,
+ pagefault_info_t *pfinfo, struct page_info **page_p,
+ gfn_t *gfn_p, p2m_type_t *p2mt_p)
+{
+ struct page_info *page;
+ p2m_type_t p2mt;
+ gfn_t gfn;
+
+ if ( linear )
+ {
+ gfn = _gfn(paging_gva_to_gfn(v, addr, &pfec));
+
+ if ( gfn_eq(gfn, INVALID_GFN) )
+ {
+ if ( pfec & PFEC_page_paged )
+ return HVMTRANS_gfn_paged_out;
+
+ if ( pfec & PFEC_page_shared )
+ return HVMTRANS_gfn_shared;
+
+ if ( pfinfo )
+ {
+ pfinfo->linear = addr;
+ pfinfo->ec = pfec & ~PFEC_implicit;
+ }
+
+ return HVMTRANS_bad_linear_to_gfn;
+ }
+ }
+ else
+ {
+ gfn = _gfn(addr >> PAGE_SHIFT);
+ ASSERT(!pfinfo);
+ }
+
+ /*
+ * No need to do the P2M lookup for internally handled MMIO, benefiting
+ * - 32-bit WinXP (& older Windows) on AMD CPUs for LAPIC accesses,
+ * - newer Windows (like Server 2012) for HPET accesses.
+ */
+ if ( v == current
+ && !nestedhvm_vcpu_in_guestmode(v)
+ && hvm_mmio_internal(gfn_x(gfn) << PAGE_SHIFT) )
+ return HVMTRANS_bad_gfn_to_mfn;
+
+ page = get_page_from_gfn(v->domain, gfn_x(gfn), &p2mt, P2M_UNSHARE);
+
+ if ( !page )
+ return HVMTRANS_bad_gfn_to_mfn;
+
+ if ( p2m_is_paging(p2mt) )
+ {
+ put_page(page);
+ p2m_mem_paging_populate(v->domain, gfn_x(gfn));
+ return HVMTRANS_gfn_paged_out;
+ }
+ if ( p2m_is_shared(p2mt) )
+ {
+ put_page(page);
+ return HVMTRANS_gfn_shared;
+ }
+ if ( p2m_is_grant(p2mt) )
+ {
+ put_page(page);
+ return HVMTRANS_unhandleable;
+ }
+
+ *page_p = page;
+ if ( gfn_p )
+ *gfn_p = gfn;
+ if ( p2mt_p )
+ *p2mt_p = p2mt;
+
+ return HVMTRANS_okay;
+}
+
#define HVMCOPY_from_guest (0u<<0)
#define HVMCOPY_to_guest (1u<<0)
#define HVMCOPY_phys (0u<<2)
@@ -3077,7 +3154,7 @@ static enum hvm_translation_result __hvm_copy(
void *buf, paddr_t addr, int size, struct vcpu *v, unsigned int flags,
uint32_t pfec, pagefault_info_t *pfinfo)
{
- unsigned long gfn;
+ gfn_t gfn;
struct page_info *page;
p2m_type_t p2mt;
char *p;
@@ -3103,65 +3180,15 @@ static enum hvm_translation_result __hvm_copy(
while ( todo > 0 )
{
+ enum hvm_translation_result res;
paddr_t gpa = addr & ~PAGE_MASK;
count = min_t(int, PAGE_SIZE - gpa, todo);
- if ( flags & HVMCOPY_linear )
- {
- gfn = paging_gva_to_gfn(v, addr, &pfec);
- if ( gfn == gfn_x(INVALID_GFN) )
- {
- if ( pfec & PFEC_page_paged )
- return HVMTRANS_gfn_paged_out;
- if ( pfec & PFEC_page_shared )
- return HVMTRANS_gfn_shared;
- if ( pfinfo )
- {
- pfinfo->linear = addr;
- pfinfo->ec = pfec & ~PFEC_implicit;
- }
- return HVMTRANS_bad_linear_to_gfn;
- }
- gpa |= (paddr_t)gfn << PAGE_SHIFT;
- }
- else
- {
- gfn = addr >> PAGE_SHIFT;
- gpa = addr;
- }
-
- /*
- * No need to do the P2M lookup for internally handled MMIO, benefiting
- * - 32-bit WinXP (& older Windows) on AMD CPUs for LAPIC accesses,
- * - newer Windows (like Server 2012) for HPET accesses.
- */
- if ( v == current
- && !nestedhvm_vcpu_in_guestmode(v)
- && hvm_mmio_internal(gpa) )
- return HVMTRANS_bad_gfn_to_mfn;
-
- page = get_page_from_gfn(v->domain, gfn, &p2mt, P2M_UNSHARE);
-
- if ( !page )
- return HVMTRANS_bad_gfn_to_mfn;
-
- if ( p2m_is_paging(p2mt) )
- {
- put_page(page);
- p2m_mem_paging_populate(v->domain, gfn);
- return HVMTRANS_gfn_paged_out;
- }
- if ( p2m_is_shared(p2mt) )
- {
- put_page(page);
- return HVMTRANS_gfn_shared;
- }
- if ( p2m_is_grant(p2mt) )
- {
- put_page(page);
- return HVMTRANS_unhandleable;
- }
+ res = hvm_translate_get_page(v, addr, flags & HVMCOPY_linear,
+ pfec, pfinfo, &page, &gfn, &p2mt);
+ if ( res != HVMTRANS_okay )
+ return res;
p = (char *)__map_domain_page(page) + (addr & ~PAGE_MASK);
@@ -3170,10 +3197,11 @@ static enum hvm_translation_result __hvm_copy(
if ( p2m_is_discard_write(p2mt) )
{
static unsigned long lastpage;
- if ( xchg(&lastpage, gfn) != gfn )
+
+ if ( xchg(&lastpage, gfn_x(gfn)) != gfn_x(gfn) )
dprintk(XENLOG_G_DEBUG,
"%pv attempted write to read-only gfn %#lx (mfn=%#lx)\n",
- v, gfn, page_to_mfn(page));
+ v, gfn_x(gfn), page_to_mfn(page));
}
else
{
diff --git a/xen/include/asm-x86/hvm/support.h b/xen/include/asm-x86/hvm/support.h
index e3b035d..d784fc1 100644
--- a/xen/include/asm-x86/hvm/support.h
+++ b/xen/include/asm-x86/hvm/support.h
@@ -24,6 +24,7 @@
#include <xen/sched.h>
#include <asm/hvm/save.h>
#include <asm/processor.h>
+#include <asm/p2m.h>
#ifndef NDEBUG
#define DBG_LEVEL_0 (1 << 0)
@@ -103,6 +104,17 @@ enum hvm_translation_result hvm_fetch_from_guest_linear(
void *buf, unsigned long addr, int size, uint32_t pfec,
pagefault_info_t *pfinfo);
+/*
+ * Get a reference on the page under an HVM physical or linear address. If
+ * linear, a pagewalk is performed using pfec (fault details optionally in
+ * pfinfo).
+ * On success, returns HVMTRANS_okay with a reference taken on **_page.
+ */
+enum hvm_translation_result hvm_translate_get_page(
+ struct vcpu *v, unsigned long addr, bool linear, uint32_t pfec,
+ pagefault_info_t *pfinfo, struct page_info **page_p,
+ gfn_t *gfn_p, p2m_type_t *p2mt_p);
+
#define HVM_HCALL_completed 0 /* hypercall completed - no further action */
#define HVM_HCALL_preempted 1 /* hypercall preempted - re-execute VMCALL */
int hvm_hypercall(struct cpu_user_regs *regs);
--
2.7.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply related [flat|nested] 22+ messages in thread
* [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings
2017-09-08 16:05 [PATCH v2 0/4] Various XSA followups Alexandru Isaila
` (2 preceding siblings ...)
2017-09-08 16:05 ` [PATCH v2 3/4] x86/hvm: Break out __hvm_copy()'s translation logic Alexandru Isaila
@ 2017-09-08 16:05 ` Alexandru Isaila
2017-09-12 14:32 ` Paul Durrant
` (2 more replies)
2017-09-08 20:03 ` [PATCH v2 0/4] Various XSA followups Tim Deegan
4 siblings, 3 replies; 22+ messages in thread
From: Alexandru Isaila @ 2017-09-08 16:05 UTC (permalink / raw)
To: xen-devel
Cc: jun.nakajima, kevin.tian, sstabellini, wei.liu2,
suravee.suthikulpanit, Razvan Cojocaru, george.dunlap,
andrew.cooper3, Mihai Donțu, tim, paul.durrant, Jan Beulich,
Alexandru Isaila, boris.ostrovsky, ian.jackson
From: Andrew Cooper <andrew.cooper3@citrix.com>
An access which crosses a page boundary is performed atomically by x86
hardware, albeit with a severe performance penalty. An important corner case
is when a straddled access hits two pages which differ in whether a
translation exists, or in net access rights.
The use of hvm_copy*() in hvmemul_write() is problematic, because it performs
a translation then completes the partial write, before moving onto the next
translation.
If an individual emulated write straddles two pages, the first of which is
writable, and the second of which is not, the first half of the write will
complete before #PF is raised from the second half.
This results in guest state corruption as a side effect of emulation, which
has been observed to cause windows to crash while under introspection.
Introduce the hvmemul_{,un}map_linear_addr() helpers, which translate an
entire contents of a linear access, and vmap() the underlying frames to
provide a contiguous virtual mapping for the emulator to use. This is the
same mechanism as used by the shadow emulation code.
This will catch any translation issues and abort the emulation before any
modifications occur.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Alexandru Isaila <aisaila@bitdefender.com>
---
CC: Jan Beulich <JBeulich@suse.com>
CC: Paul Durrant <paul.durrant@citrix.com>
CC: Razvan Cojocaru <rcojocaru@bitdefender.com>
CC: Mihai Donțu <mdontu@bitdefender.com>
Changes since V1:
- Moved ASSERT to the begining of the loop
- Corrected the decrement on mfn int the while statement
- Modified the comment to PAGE_SIZE+1
While the maximum size of linear mapping is capped at 1 page, the logic
in the helpers is written to work properly as hvmemul_ctxt->mfn[] gets longer,
specifically with XSAVE instruction emulation in mind.
This has only had light testing so far.
---
xen/arch/x86/hvm/emulate.c | 179 ++++++++++++++++++++++++++++++++++----
xen/include/asm-x86/hvm/emulate.h | 7 ++
2 files changed, 169 insertions(+), 17 deletions(-)
diff --git a/xen/arch/x86/hvm/emulate.c b/xen/arch/x86/hvm/emulate.c
index c871cb3..196a77c 100644
--- a/xen/arch/x86/hvm/emulate.c
+++ b/xen/arch/x86/hvm/emulate.c
@@ -498,6 +498,159 @@ static int hvmemul_do_mmio_addr(paddr_t mmio_gpa,
}
/*
+ * Map the frame(s) covering an individual linear access, for writeable
+ * access. May return NULL for MMIO, or ERR_PTR(~X86EMUL_*) for other errors
+ * including ERR_PTR(~X86EMUL_OKAY) for write-discard mappings.
+ *
+ * In debug builds, map() checks that each slot in hvmemul_ctxt->mfn[] is
+ * clean before use, and poisions unused slots with INVALID_MFN.
+ */
+static void *hvmemul_map_linear_addr(
+ unsigned long linear, unsigned int bytes, uint32_t pfec,
+ struct hvm_emulate_ctxt *hvmemul_ctxt)
+{
+ struct vcpu *curr = current;
+ void *err, *mapping;
+
+ /* First and final gfns which need mapping. */
+ unsigned long frame = linear >> PAGE_SHIFT, first = frame;
+ unsigned long final = (linear + bytes - !!bytes) >> PAGE_SHIFT;
+
+ /*
+ * mfn points to the next free slot. All used slots have a page reference
+ * held on them.
+ */
+ mfn_t *mfn = &hvmemul_ctxt->mfn[0];
+
+ /*
+ * The caller has no legitimate reason for trying a zero-byte write, but
+ * final is calculate to fail safe in release builds.
+ *
+ * The maximum write size depends on the number of adjacent mfns[] which
+ * can be vmap()'d, accouting for possible misalignment within the region.
+ * The higher level emulation callers are responsible for ensuring that
+ * mfns[] is large enough for the requested write size.
+ */
+ if ( bytes == 0 ||
+ final - first > ARRAY_SIZE(hvmemul_ctxt->mfn) - 1 )
+ {
+ ASSERT_UNREACHABLE();
+ goto unhandleable;
+ }
+
+ do {
+ enum hvm_translation_result res;
+ struct page_info *page;
+ pagefault_info_t pfinfo;
+ p2m_type_t p2mt;
+
+ /* Error checking. Confirm that the current slot is clean. */
+ ASSERT(mfn_x(*mfn) == 0);
+
+ res = hvm_translate_get_page(curr, frame << PAGE_SHIFT, true, pfec,
+ &pfinfo, &page, NULL, &p2mt);
+
+ switch ( res )
+ {
+ case HVMTRANS_okay:
+ break;
+
+ case HVMTRANS_bad_linear_to_gfn:
+ x86_emul_pagefault(pfinfo.ec, pfinfo.linear, &hvmemul_ctxt->ctxt);
+ err = ERR_PTR(~(long)X86EMUL_EXCEPTION);
+ goto out;
+
+ case HVMTRANS_bad_gfn_to_mfn:
+ err = NULL;
+ goto out;
+
+ case HVMTRANS_gfn_paged_out:
+ case HVMTRANS_gfn_shared:
+ err = ERR_PTR(~(long)X86EMUL_RETRY);
+ goto out;
+
+ default:
+ goto unhandleable;
+ }
+
+ *mfn++ = _mfn(page_to_mfn(page));
+ frame++;
+
+ if ( p2m_is_discard_write(p2mt) )
+ {
+ err = ERR_PTR(~(long)X86EMUL_OKAY);
+ goto out;
+ }
+
+ } while ( frame < final );
+
+ /* Entire access within a single frame? */
+ if ( first == final )
+ mapping = map_domain_page(hvmemul_ctxt->mfn[0]) + (linear & ~PAGE_MASK);
+ /* Multiple frames? Need to vmap(). */
+ else if ( (mapping = vmap(hvmemul_ctxt->mfn,
+ mfn - hvmemul_ctxt->mfn)) == NULL )
+ goto unhandleable;
+
+#ifndef NDEBUG /* Poision unused mfn[]s with INVALID_MFN. */
+ while ( mfn < hvmemul_ctxt->mfn + ARRAY_SIZE(hvmemul_ctxt->mfn) )
+ {
+ ASSERT(mfn_x(*mfn) == 0);
+ *mfn++ = INVALID_MFN;
+ }
+#endif
+
+ return mapping;
+
+ unhandleable:
+ err = ERR_PTR(~(long)X86EMUL_UNHANDLEABLE);
+
+ out:
+ /* Drop all held references. */
+ while ( mfn-- > hvmemul_ctxt->mfn )
+ put_page(mfn_to_page(mfn_x(*mfn)));
+
+ return err;
+}
+
+static void hvmemul_unmap_linear_addr(
+ void *mapping, unsigned long linear, unsigned int bytes,
+ struct hvm_emulate_ctxt *hvmemul_ctxt)
+{
+ struct domain *currd = current->domain;
+ unsigned long frame = linear >> PAGE_SHIFT;
+ unsigned long final = (linear + bytes - !!bytes) >> PAGE_SHIFT;
+ mfn_t *mfn = &hvmemul_ctxt->mfn[0];
+
+ ASSERT(bytes > 0);
+
+ if ( frame == final )
+ unmap_domain_page(mapping);
+ else
+ vunmap(mapping);
+
+ do
+ {
+ ASSERT(mfn_valid(*mfn));
+ paging_mark_dirty(currd, *mfn);
+ put_page(mfn_to_page(mfn_x(*mfn)));
+
+ frame++;
+ *mfn++ = _mfn(0); /* Clean slot for map()'s error checking. */
+
+ } while ( frame < final );
+
+
+#ifndef NDEBUG /* Check (and clean) all unused mfns. */
+ while ( mfn < hvmemul_ctxt->mfn + ARRAY_SIZE(hvmemul_ctxt->mfn) )
+ {
+ ASSERT(mfn_eq(*mfn, INVALID_MFN));
+ *mfn++ = _mfn(0);
+ }
+#endif
+}
+
+/*
* Convert addr from linear to physical form, valid over the range
* [addr, addr + *reps * bytes_per_rep]. *reps is adjusted according to
* the valid computed range. It is always >0 when X86EMUL_OKAY is returned.
@@ -987,11 +1140,11 @@ static int hvmemul_write(
struct hvm_emulate_ctxt *hvmemul_ctxt =
container_of(ctxt, struct hvm_emulate_ctxt, ctxt);
struct vcpu *curr = current;
- pagefault_info_t pfinfo;
unsigned long addr, reps = 1;
uint32_t pfec = PFEC_page_present | PFEC_write_access;
struct hvm_vcpu_io *vio = &curr->arch.hvm_vcpu.hvm_io;
int rc;
+ void *mapping;
if ( is_x86_system_segment(seg) )
pfec |= PFEC_implicit;
@@ -1007,23 +1160,15 @@ static int hvmemul_write(
(vio->mmio_gla == (addr & PAGE_MASK)) )
return hvmemul_linear_mmio_write(addr, bytes, p_data, pfec, hvmemul_ctxt, 1);
- rc = hvm_copy_to_guest_linear(addr, p_data, bytes, pfec, &pfinfo);
-
- switch ( rc )
- {
- case HVMTRANS_okay:
- break;
- case HVMTRANS_bad_linear_to_gfn:
- x86_emul_pagefault(pfinfo.ec, pfinfo.linear, &hvmemul_ctxt->ctxt);
- return X86EMUL_EXCEPTION;
- case HVMTRANS_bad_gfn_to_mfn:
+ mapping = hvmemul_map_linear_addr(addr, bytes, pfec, hvmemul_ctxt);
+ if ( IS_ERR(mapping) )
+ return ~PTR_ERR(mapping);
+ else if ( !mapping )
return hvmemul_linear_mmio_write(addr, bytes, p_data, pfec, hvmemul_ctxt, 0);
- case HVMTRANS_gfn_paged_out:
- case HVMTRANS_gfn_shared:
- return X86EMUL_RETRY;
- default:
- return X86EMUL_UNHANDLEABLE;
- }
+
+ memcpy(mapping, p_data, bytes);
+
+ hvmemul_unmap_linear_addr(mapping, addr, bytes, hvmemul_ctxt);
return X86EMUL_OKAY;
}
diff --git a/xen/include/asm-x86/hvm/emulate.h b/xen/include/asm-x86/hvm/emulate.h
index 8864775..d379a4a 100644
--- a/xen/include/asm-x86/hvm/emulate.h
+++ b/xen/include/asm-x86/hvm/emulate.h
@@ -37,6 +37,13 @@ struct hvm_emulate_ctxt {
unsigned long seg_reg_accessed;
unsigned long seg_reg_dirty;
+ /*
+ * MFNs behind temporary mappings in the write callback. The length is
+ * arbitrary, and can be increased if writes longer than PAGE_SIZE+1 are
+ * needed.
+ */
+ mfn_t mfn[2];
+
uint32_t intr_shadow;
bool_t set_context;
--
2.7.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply related [flat|nested] 22+ messages in thread
* Re: [PATCH v2 0/4] Various XSA followups
2017-09-08 16:05 [PATCH v2 0/4] Various XSA followups Alexandru Isaila
` (3 preceding siblings ...)
2017-09-08 16:05 ` [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings Alexandru Isaila
@ 2017-09-08 20:03 ` Tim Deegan
4 siblings, 0 replies; 22+ messages in thread
From: Tim Deegan @ 2017-09-08 20:03 UTC (permalink / raw)
To: Alexandru Isaila
Cc: jun.nakajima, kevin.tian, sstabellini, wei.liu2,
suravee.suthikulpanit, george.dunlap, andrew.cooper3, ian.jackson,
xen-devel, paul.durrant, jbeulich, boris.ostrovsky
At 19:05 +0300 on 08 Sep (1504897532), Alexandru Isaila wrote:
> XSA-219 was discovered while trying to implement the bugfix in patch 4.
>
> Andrew Cooper (4):
> x86/shadow: Use ERR_PTR infrastructure for sh_emulate_map_dest()
> [RFC] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result
> x86/hvm: Break out __hvm_copy()'s translation logic
> x86/hvm: Implement hvmemul_write() using real mappings
>
> Alexandru Isaila (2):
> x86/hvm: Break out __hvm_copy()'s translation logic
> x86/hvm: Implement hvmemul_write() using real mappings
For the shadow pagetable changes in patches 1 and 2:
Acked-by: Tim Deegan <tim@xen.org>
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 2/4] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result
2017-09-08 16:05 ` [PATCH v2 2/4] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result Alexandru Isaila
@ 2017-09-11 13:27 ` George Dunlap
2017-09-11 13:32 ` Wei Liu
2017-09-11 13:39 ` Andrew Cooper
2017-09-18 8:22 ` Tian, Kevin
2017-09-18 13:00 ` Jan Beulich
2 siblings, 2 replies; 22+ messages in thread
From: George Dunlap @ 2017-09-11 13:27 UTC (permalink / raw)
To: Alexandru Isaila, xen-devel
Cc: jun.nakajima, kevin.tian, sstabellini, wei.liu2,
suravee.suthikulpanit, george.dunlap, andrew.cooper3, tim,
paul.durrant, jbeulich, boris.ostrovsky, ian.jackson
On 09/08/2017 05:05 PM, Alexandru Isaila wrote:
> diff --git a/xen/include/asm-x86/hvm/support.h b/xen/include/asm-x86/hvm/support.h
> index b18dbb6..e3b035d 100644
> --- a/xen/include/asm-x86/hvm/support.h
> +++ b/xen/include/asm-x86/hvm/support.h
> @@ -53,23 +53,23 @@ extern unsigned int opt_hvm_debug_level;
>
> extern unsigned long hvm_io_bitmap[];
>
> -enum hvm_copy_result {
> - HVMCOPY_okay = 0,
> - HVMCOPY_bad_gva_to_gfn,
> - HVMCOPY_bad_gfn_to_mfn,
> - HVMCOPY_unhandleable,
> - HVMCOPY_gfn_paged_out,
> - HVMCOPY_gfn_shared,
> +enum hvm_translation_result {
> + HVMTRANS_okay,
> + HVMTRANS_bad_linear_to_gfn,
> + HVMTRANS_bad_gfn_to_mfn,
> + HVMTRANS_unhandleable,
> + HVMTRANS_gfn_paged_out,
> + HVMTRANS_gfn_shared,
Somehow "translation result" doesn't seem like the right name for this.
gfn_to_mfn is a translation result; linear_to_gfn includes access checks.
I'll admit though that by the end of the series, "Copy result" is *also*
not the right name for it, and I can't think of a better name at the moment.
-George
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 2/4] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result
2017-09-11 13:27 ` George Dunlap
@ 2017-09-11 13:32 ` Wei Liu
2017-09-11 13:39 ` Andrew Cooper
1 sibling, 0 replies; 22+ messages in thread
From: Wei Liu @ 2017-09-11 13:32 UTC (permalink / raw)
To: George Dunlap
Cc: jun.nakajima, kevin.tian, sstabellini, wei.liu2,
suravee.suthikulpanit, george.dunlap, andrew.cooper3, tim,
xen-devel, paul.durrant, jbeulich, Alexandru Isaila,
boris.ostrovsky, ian.jackson
On Mon, Sep 11, 2017 at 02:27:34PM +0100, George Dunlap wrote:
> On 09/08/2017 05:05 PM, Alexandru Isaila wrote:
> > diff --git a/xen/include/asm-x86/hvm/support.h b/xen/include/asm-x86/hvm/support.h
> > index b18dbb6..e3b035d 100644
> > --- a/xen/include/asm-x86/hvm/support.h
> > +++ b/xen/include/asm-x86/hvm/support.h
> > @@ -53,23 +53,23 @@ extern unsigned int opt_hvm_debug_level;
> >
> > extern unsigned long hvm_io_bitmap[];
> >
> > -enum hvm_copy_result {
> > - HVMCOPY_okay = 0,
> > - HVMCOPY_bad_gva_to_gfn,
> > - HVMCOPY_bad_gfn_to_mfn,
> > - HVMCOPY_unhandleable,
> > - HVMCOPY_gfn_paged_out,
> > - HVMCOPY_gfn_shared,
> > +enum hvm_translation_result {
> > + HVMTRANS_okay,
> > + HVMTRANS_bad_linear_to_gfn,
> > + HVMTRANS_bad_gfn_to_mfn,
> > + HVMTRANS_unhandleable,
> > + HVMTRANS_gfn_paged_out,
> > + HVMTRANS_gfn_shared,
>
> Somehow "translation result" doesn't seem like the right name for this.
> gfn_to_mfn is a translation result; linear_to_gfn includes access checks.
>
> I'll admit though that by the end of the series, "Copy result" is *also*
> not the right name for it, and I can't think of a better name at the moment.
>
hvm_access_result?
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 2/4] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result
2017-09-11 13:27 ` George Dunlap
2017-09-11 13:32 ` Wei Liu
@ 2017-09-11 13:39 ` Andrew Cooper
2017-09-12 10:00 ` George Dunlap
1 sibling, 1 reply; 22+ messages in thread
From: Andrew Cooper @ 2017-09-11 13:39 UTC (permalink / raw)
To: George Dunlap, Alexandru Isaila, xen-devel
Cc: jun.nakajima, kevin.tian, sstabellini, wei.liu2,
suravee.suthikulpanit, george.dunlap, tim, ian.jackson,
paul.durrant, jbeulich, boris.ostrovsky
On 11/09/17 14:27, George Dunlap wrote:
> On 09/08/2017 05:05 PM, Alexandru Isaila wrote:
>> diff --git a/xen/include/asm-x86/hvm/support.h b/xen/include/asm-x86/hvm/support.h
>> index b18dbb6..e3b035d 100644
>> --- a/xen/include/asm-x86/hvm/support.h
>> +++ b/xen/include/asm-x86/hvm/support.h
>> @@ -53,23 +53,23 @@ extern unsigned int opt_hvm_debug_level;
>>
>> extern unsigned long hvm_io_bitmap[];
>>
>> -enum hvm_copy_result {
>> - HVMCOPY_okay = 0,
>> - HVMCOPY_bad_gva_to_gfn,
>> - HVMCOPY_bad_gfn_to_mfn,
>> - HVMCOPY_unhandleable,
>> - HVMCOPY_gfn_paged_out,
>> - HVMCOPY_gfn_shared,
>> +enum hvm_translation_result {
>> + HVMTRANS_okay,
>> + HVMTRANS_bad_linear_to_gfn,
>> + HVMTRANS_bad_gfn_to_mfn,
>> + HVMTRANS_unhandleable,
>> + HVMTRANS_gfn_paged_out,
>> + HVMTRANS_gfn_shared,
> Somehow "translation result" doesn't seem like the right name for this.
> gfn_to_mfn is a translation result; linear_to_gfn includes access checks.
>
> I'll admit though that by the end of the series, "Copy result" is *also*
> not the right name for it, and I can't think of a better name at the moment.
Architecturally, "translation" is the most accurate term.
This entire set of infrastructure will improve in my longterm emulator
plans.
~Andrew
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 1/4] x86/shadow: Use ERR_PTR infrastructure for sh_emulate_map_dest()
2017-09-08 16:05 ` [PATCH v2 1/4] x86/shadow: Use ERR_PTR infrastructure for sh_emulate_map_dest() Alexandru Isaila
@ 2017-09-12 9:37 ` Wei Liu
0 siblings, 0 replies; 22+ messages in thread
From: Wei Liu @ 2017-09-12 9:37 UTC (permalink / raw)
To: Alexandru Isaila
Cc: jun.nakajima, kevin.tian, sstabellini, wei.liu2,
suravee.suthikulpanit, george.dunlap, andrew.cooper3, tim,
xen-devel, paul.durrant, jbeulich, boris.ostrovsky, ian.jackson
On Fri, Sep 08, 2017 at 07:05:33PM +0300, Alexandru Isaila wrote:
> From: Andrew Cooper <andrew.cooper3@citrix.com>
>
> sh_emulate_map_dest() predates the introduction of the generic ERR_PTR()
> infrastructure, but take the opportunity to avoid opencoding it.
>
> The chosen error constants require need to be negative to work with IS_ERR(),
> but no other changes.
>
> Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Wei Liu <wei.liu2@citrix.com>
I skip patch 2-4 for now because they depend on the resolution in #2.
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 2/4] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result
2017-09-11 13:39 ` Andrew Cooper
@ 2017-09-12 10:00 ` George Dunlap
0 siblings, 0 replies; 22+ messages in thread
From: George Dunlap @ 2017-09-12 10:00 UTC (permalink / raw)
To: Andrew Cooper, Alexandru Isaila, xen-devel
Cc: jun.nakajima, kevin.tian, sstabellini, wei.liu2,
suravee.suthikulpanit, george.dunlap, tim, ian.jackson,
paul.durrant, jbeulich, boris.ostrovsky
On 09/11/2017 02:39 PM, Andrew Cooper wrote:
> On 11/09/17 14:27, George Dunlap wrote:
>> On 09/08/2017 05:05 PM, Alexandru Isaila wrote:
>>> diff --git a/xen/include/asm-x86/hvm/support.h b/xen/include/asm-x86/hvm/support.h
>>> index b18dbb6..e3b035d 100644
>>> --- a/xen/include/asm-x86/hvm/support.h
>>> +++ b/xen/include/asm-x86/hvm/support.h
>>> @@ -53,23 +53,23 @@ extern unsigned int opt_hvm_debug_level;
>>>
>>> extern unsigned long hvm_io_bitmap[];
>>>
>>> -enum hvm_copy_result {
>>> - HVMCOPY_okay = 0,
>>> - HVMCOPY_bad_gva_to_gfn,
>>> - HVMCOPY_bad_gfn_to_mfn,
>>> - HVMCOPY_unhandleable,
>>> - HVMCOPY_gfn_paged_out,
>>> - HVMCOPY_gfn_shared,
>>> +enum hvm_translation_result {
>>> + HVMTRANS_okay,
>>> + HVMTRANS_bad_linear_to_gfn,
>>> + HVMTRANS_bad_gfn_to_mfn,
>>> + HVMTRANS_unhandleable,
>>> + HVMTRANS_gfn_paged_out,
>>> + HVMTRANS_gfn_shared,
>> Somehow "translation result" doesn't seem like the right name for this.
>> gfn_to_mfn is a translation result; linear_to_gfn includes access checks.
>>
>> I'll admit though that by the end of the series, "Copy result" is *also*
>> not the right name for it, and I can't think of a better name at the moment.
>
> Architecturally, "translation" is the most accurate term.
>
> This entire set of infrastructure will improve in my longterm emulator
> plans.
The series as a whole definitely look useful, and like I said, I can't
think of a better name (Wei's suggestion of "access" seems inappropriate
to me for the same reasons "translation" does), so I don't object to
this being checked in as-is:
Acked-by: George Dunlap <george.dunlap@citrix.com>
-George
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings
2017-09-08 16:05 ` [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings Alexandru Isaila
@ 2017-09-12 14:32 ` Paul Durrant
2017-09-12 14:37 ` Andrew Cooper
2017-09-12 15:09 ` Andrew Cooper
2017-09-18 13:43 ` Jan Beulich
2 siblings, 1 reply; 22+ messages in thread
From: Paul Durrant @ 2017-09-12 14:32 UTC (permalink / raw)
To: 'Alexandru Isaila', xen-devel@lists.xen.org
Cc: Kevin Tian, sstabellini@kernel.org, Wei Liu,
suravee.suthikulpanit@amd.com, Razvan Cojocaru,
jun.nakajima@intel.com, Andrew Cooper, Mihai Donțu,
Tim (Xen.org), George Dunlap, Jan Beulich, Ian Jackson,
boris.ostrovsky@oracle.com
> -----Original Message-----
> From: Alexandru Isaila [mailto:aisaila@bitdefender.com]
> Sent: 08 September 2017 09:06
> To: xen-devel@lists.xen.org
> Cc: Tim (Xen.org) <tim@xen.org>; George Dunlap
> <George.Dunlap@citrix.com>; jbeulich@suse.com; Andrew Cooper
> <Andrew.Cooper3@citrix.com>; Ian Jackson <Ian.Jackson@citrix.com>;
> konrad.wilk@oracle.com; sstabellini@kernel.org; Wei Liu
> <wei.liu2@citrix.com>; Paul Durrant <Paul.Durrant@citrix.com>;
> boris.ostrovsky@oracle.com; suravee.suthikulpanit@amd.com;
> jun.nakajima@intel.com; Kevin Tian <kevin.tian@intel.com>; Alexandru Isaila
> <aisaila@bitdefender.com>; Jan Beulich <JBeulich@suse.com>; Razvan
> Cojocaru <rcojocaru@bitdefender.com>; Mihai Donțu
> <mdontu@bitdefender.com>
> Subject: [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real
> mappings
>
> From: Andrew Cooper <andrew.cooper3@citrix.com>
>
> An access which crosses a page boundary is performed atomically by x86
> hardware, albeit with a severe performance penalty. An important corner
> case
> is when a straddled access hits two pages which differ in whether a
> translation exists, or in net access rights.
>
> The use of hvm_copy*() in hvmemul_write() is problematic, because it
> performs
> a translation then completes the partial write, before moving onto the next
> translation.
>
> If an individual emulated write straddles two pages, the first of which is
> writable, and the second of which is not, the first half of the write will
> complete before #PF is raised from the second half.
>
> This results in guest state corruption as a side effect of emulation, which
> has been observed to cause windows to crash while under introspection.
>
> Introduce the hvmemul_{,un}map_linear_addr() helpers, which translate an
> entire contents of a linear access, and vmap() the underlying frames to
> provide a contiguous virtual mapping for the emulator to use. This is the
> same mechanism as used by the shadow emulation code.
>
> This will catch any translation issues and abort the emulation before any
> modifications occur.
>
> Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
> Signed-off-by: Alexandru Isaila <aisaila@bitdefender.com>
> ---
> CC: Jan Beulich <JBeulich@suse.com>
> CC: Paul Durrant <paul.durrant@citrix.com>
> CC: Razvan Cojocaru <rcojocaru@bitdefender.com>
> CC: Mihai Donțu <mdontu@bitdefender.com>
>
> Changes since V1:
> - Moved ASSERT to the begining of the loop
> - Corrected the decrement on mfn int the while statement
> - Modified the comment to PAGE_SIZE+1
>
> While the maximum size of linear mapping is capped at 1 page, the logic
> in the helpers is written to work properly as hvmemul_ctxt->mfn[] gets
> longer,
> specifically with XSAVE instruction emulation in mind.
>
> This has only had light testing so far.
> ---
> xen/arch/x86/hvm/emulate.c | 179
> ++++++++++++++++++++++++++++++++++----
> xen/include/asm-x86/hvm/emulate.h | 7 ++
> 2 files changed, 169 insertions(+), 17 deletions(-)
>
> diff --git a/xen/arch/x86/hvm/emulate.c b/xen/arch/x86/hvm/emulate.c
> index c871cb3..196a77c 100644
> --- a/xen/arch/x86/hvm/emulate.c
> +++ b/xen/arch/x86/hvm/emulate.c
> @@ -498,6 +498,159 @@ static int hvmemul_do_mmio_addr(paddr_t
> mmio_gpa,
> }
>
> /*
> + * Map the frame(s) covering an individual linear access, for writeable
> + * access. May return NULL for MMIO, or ERR_PTR(~X86EMUL_*) for other
> errors
> + * including ERR_PTR(~X86EMUL_OKAY) for write-discard mappings.
> + *
> + * In debug builds, map() checks that each slot in hvmemul_ctxt->mfn[] is
> + * clean before use, and poisions unused slots with INVALID_MFN.
> + */
> +static void *hvmemul_map_linear_addr(
> + unsigned long linear, unsigned int bytes, uint32_t pfec,
> + struct hvm_emulate_ctxt *hvmemul_ctxt)
> +{
> + struct vcpu *curr = current;
> + void *err, *mapping;
> +
> + /* First and final gfns which need mapping. */
> + unsigned long frame = linear >> PAGE_SHIFT, first = frame;
> + unsigned long final = (linear + bytes - !!bytes) >> PAGE_SHIFT;
> +
> + /*
> + * mfn points to the next free slot. All used slots have a page reference
> + * held on them.
> + */
> + mfn_t *mfn = &hvmemul_ctxt->mfn[0];
> +
> + /*
> + * The caller has no legitimate reason for trying a zero-byte write, but
> + * final is calculate to fail safe in release builds.
> + *
> + * The maximum write size depends on the number of adjacent mfns[]
> which
> + * can be vmap()'d, accouting for possible misalignment within the region.
> + * The higher level emulation callers are responsible for ensuring that
> + * mfns[] is large enough for the requested write size.
> + */
> + if ( bytes == 0 ||
> + final - first > ARRAY_SIZE(hvmemul_ctxt->mfn) - 1 )
Should there be an overflow check here to make sure final > first? Your do-while below uses frame < final as its test.
> + {
> + ASSERT_UNREACHABLE();
> + goto unhandleable;
> + }
> +
> + do {
> + enum hvm_translation_result res;
> + struct page_info *page;
> + pagefault_info_t pfinfo;
> + p2m_type_t p2mt;
> +
> + /* Error checking. Confirm that the current slot is clean. */
> + ASSERT(mfn_x(*mfn) == 0);
> +
> + res = hvm_translate_get_page(curr, frame << PAGE_SHIFT, true, pfec,
> + &pfinfo, &page, NULL, &p2mt);
> +
> + switch ( res )
> + {
> + case HVMTRANS_okay:
> + break;
> +
> + case HVMTRANS_bad_linear_to_gfn:
> + x86_emul_pagefault(pfinfo.ec, pfinfo.linear, &hvmemul_ctxt->ctxt);
> + err = ERR_PTR(~(long)X86EMUL_EXCEPTION);
> + goto out;
> +
> + case HVMTRANS_bad_gfn_to_mfn:
> + err = NULL;
> + goto out;
> +
> + case HVMTRANS_gfn_paged_out:
> + case HVMTRANS_gfn_shared:
> + err = ERR_PTR(~(long)X86EMUL_RETRY);
> + goto out;
> +
> + default:
> + goto unhandleable;
> + }
> +
> + *mfn++ = _mfn(page_to_mfn(page));
> + frame++;
> +
> + if ( p2m_is_discard_write(p2mt) )
> + {
> + err = ERR_PTR(~(long)X86EMUL_OKAY);
> + goto out;
> + }
> +
> + } while ( frame < final );
while ( ++frame < final ), and lose the increment above?
> +
> + /* Entire access within a single frame? */
> + if ( first == final )
> + mapping = map_domain_page(hvmemul_ctxt->mfn[0]) + (linear &
> ~PAGE_MASK);
> + /* Multiple frames? Need to vmap(). */
> + else if ( (mapping = vmap(hvmemul_ctxt->mfn,
> + mfn - hvmemul_ctxt->mfn)) == NULL )
> + goto unhandleable;
> +
> +#ifndef NDEBUG /* Poision unused mfn[]s with INVALID_MFN. */
> + while ( mfn < hvmemul_ctxt->mfn + ARRAY_SIZE(hvmemul_ctxt->mfn) )
> + {
> + ASSERT(mfn_x(*mfn) == 0);
> + *mfn++ = INVALID_MFN;
> + }
> +#endif
> +
> + return mapping;
> +
> + unhandleable:
> + err = ERR_PTR(~(long)X86EMUL_UNHANDLEABLE);
> +
> + out:
> + /* Drop all held references. */
> + while ( mfn-- > hvmemul_ctxt->mfn )
> + put_page(mfn_to_page(mfn_x(*mfn)));
> +
> + return err;
> +}
> +
> +static void hvmemul_unmap_linear_addr(
> + void *mapping, unsigned long linear, unsigned int bytes,
> + struct hvm_emulate_ctxt *hvmemul_ctxt)
> +{
> + struct domain *currd = current->domain;
> + unsigned long frame = linear >> PAGE_SHIFT;
> + unsigned long final = (linear + bytes - !!bytes) >> PAGE_SHIFT;
> + mfn_t *mfn = &hvmemul_ctxt->mfn[0];
> +
> + ASSERT(bytes > 0);
> +
> + if ( frame == final )
> + unmap_domain_page(mapping);
> + else
> + vunmap(mapping);
> +
> + do
> + {
> + ASSERT(mfn_valid(*mfn));
> + paging_mark_dirty(currd, *mfn);
> + put_page(mfn_to_page(mfn_x(*mfn)));
> +
> + frame++;
> + *mfn++ = _mfn(0); /* Clean slot for map()'s error checking. */
> +
> + } while ( frame < final );
Again, the increment could be folded into the test.
Paul
> +
> +
> +#ifndef NDEBUG /* Check (and clean) all unused mfns. */
> + while ( mfn < hvmemul_ctxt->mfn + ARRAY_SIZE(hvmemul_ctxt->mfn) )
> + {
> + ASSERT(mfn_eq(*mfn, INVALID_MFN));
> + *mfn++ = _mfn(0);
> + }
> +#endif
> +}
> +
> +/*
> * Convert addr from linear to physical form, valid over the range
> * [addr, addr + *reps * bytes_per_rep]. *reps is adjusted according to
> * the valid computed range. It is always >0 when X86EMUL_OKAY is
> returned.
> @@ -987,11 +1140,11 @@ static int hvmemul_write(
> struct hvm_emulate_ctxt *hvmemul_ctxt =
> container_of(ctxt, struct hvm_emulate_ctxt, ctxt);
> struct vcpu *curr = current;
> - pagefault_info_t pfinfo;
> unsigned long addr, reps = 1;
> uint32_t pfec = PFEC_page_present | PFEC_write_access;
> struct hvm_vcpu_io *vio = &curr->arch.hvm_vcpu.hvm_io;
> int rc;
> + void *mapping;
>
> if ( is_x86_system_segment(seg) )
> pfec |= PFEC_implicit;
> @@ -1007,23 +1160,15 @@ static int hvmemul_write(
> (vio->mmio_gla == (addr & PAGE_MASK)) )
> return hvmemul_linear_mmio_write(addr, bytes, p_data, pfec,
> hvmemul_ctxt, 1);
>
> - rc = hvm_copy_to_guest_linear(addr, p_data, bytes, pfec, &pfinfo);
> -
> - switch ( rc )
> - {
> - case HVMTRANS_okay:
> - break;
> - case HVMTRANS_bad_linear_to_gfn:
> - x86_emul_pagefault(pfinfo.ec, pfinfo.linear, &hvmemul_ctxt->ctxt);
> - return X86EMUL_EXCEPTION;
> - case HVMTRANS_bad_gfn_to_mfn:
> + mapping = hvmemul_map_linear_addr(addr, bytes, pfec,
> hvmemul_ctxt);
> + if ( IS_ERR(mapping) )
> + return ~PTR_ERR(mapping);
> + else if ( !mapping )
> return hvmemul_linear_mmio_write(addr, bytes, p_data, pfec,
> hvmemul_ctxt, 0);
> - case HVMTRANS_gfn_paged_out:
> - case HVMTRANS_gfn_shared:
> - return X86EMUL_RETRY;
> - default:
> - return X86EMUL_UNHANDLEABLE;
> - }
> +
> + memcpy(mapping, p_data, bytes);
> +
> + hvmemul_unmap_linear_addr(mapping, addr, bytes, hvmemul_ctxt);
>
> return X86EMUL_OKAY;
> }
> diff --git a/xen/include/asm-x86/hvm/emulate.h b/xen/include/asm-
> x86/hvm/emulate.h
> index 8864775..d379a4a 100644
> --- a/xen/include/asm-x86/hvm/emulate.h
> +++ b/xen/include/asm-x86/hvm/emulate.h
> @@ -37,6 +37,13 @@ struct hvm_emulate_ctxt {
> unsigned long seg_reg_accessed;
> unsigned long seg_reg_dirty;
>
> + /*
> + * MFNs behind temporary mappings in the write callback. The length is
> + * arbitrary, and can be increased if writes longer than PAGE_SIZE+1 are
> + * needed.
> + */
> + mfn_t mfn[2];
> +
> uint32_t intr_shadow;
>
> bool_t set_context;
> --
> 2.7.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings
2017-09-12 14:32 ` Paul Durrant
@ 2017-09-12 14:37 ` Andrew Cooper
2017-09-12 15:05 ` Jan Beulich
2017-09-12 15:06 ` Paul Durrant
0 siblings, 2 replies; 22+ messages in thread
From: Andrew Cooper @ 2017-09-12 14:37 UTC (permalink / raw)
To: Paul Durrant, 'Alexandru Isaila', xen-devel@lists.xen.org
Cc: Kevin Tian, sstabellini@kernel.org, Wei Liu,
suravee.suthikulpanit@amd.com, Razvan Cojocaru,
jun.nakajima@intel.com, Mihai Donțu, Tim (Xen.org),
George Dunlap, jbeulich@suse.com, Ian Jackson,
boris.ostrovsky@oracle.com
On 12/09/17 15:32, Paul Durrant wrote:
>
>> + {
>> + ASSERT_UNREACHABLE();
>> + goto unhandleable;
>> + }
>> +
>> + do {
>> + enum hvm_translation_result res;
>> + struct page_info *page;
>> + pagefault_info_t pfinfo;
>> + p2m_type_t p2mt;
>> +
>> + /* Error checking. Confirm that the current slot is clean. */
>> + ASSERT(mfn_x(*mfn) == 0);
>> +
>> + res = hvm_translate_get_page(curr, frame << PAGE_SHIFT, true, pfec,
>> + &pfinfo, &page, NULL, &p2mt);
>> +
>> + switch ( res )
>> + {
>> + case HVMTRANS_okay:
>> + break;
>> +
>> + case HVMTRANS_bad_linear_to_gfn:
>> + x86_emul_pagefault(pfinfo.ec, pfinfo.linear, &hvmemul_ctxt->ctxt);
>> + err = ERR_PTR(~(long)X86EMUL_EXCEPTION);
>> + goto out;
>> +
>> + case HVMTRANS_bad_gfn_to_mfn:
>> + err = NULL;
>> + goto out;
>> +
>> + case HVMTRANS_gfn_paged_out:
>> + case HVMTRANS_gfn_shared:
>> + err = ERR_PTR(~(long)X86EMUL_RETRY);
>> + goto out;
>> +
>> + default:
>> + goto unhandleable;
>> + }
>> +
>> + *mfn++ = _mfn(page_to_mfn(page));
>> + frame++;
>> +
>> + if ( p2m_is_discard_write(p2mt) )
>> + {
>> + err = ERR_PTR(~(long)X86EMUL_OKAY);
>> + goto out;
>> + }
>> +
>> + } while ( frame < final );
> while ( ++frame < final ), and lose the increment above?
I deliberately wrote it this way, to avoid adding to the cognitive load
of trying to work out what is going on.
-1 to the suggestion.
~Andrew
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings
2017-09-12 14:37 ` Andrew Cooper
@ 2017-09-12 15:05 ` Jan Beulich
2017-09-12 15:06 ` Paul Durrant
1 sibling, 0 replies; 22+ messages in thread
From: Jan Beulich @ 2017-09-12 15:05 UTC (permalink / raw)
To: 'Alexandru Isaila', Andrew Cooper, Paul Durrant
Cc: Kevin Tian, sstabellini@kernel.org, Wei Liu,
jun.nakajima@intel.com, Razvan Cojocaru, Mihai Donțu,
Tim (Xen.org), George Dunlap, xen-devel@lists.xen.org,
suravee.suthikulpanit@amd.com, Ian Jackson,
boris.ostrovsky@oracle.com
>>> On 12.09.17 at 16:37, <andrew.cooper3@citrix.com> wrote:
> On 12/09/17 15:32, Paul Durrant wrote:
>>
>>> + {
>>> + ASSERT_UNREACHABLE();
>>> + goto unhandleable;
>>> + }
>>> +
>>> + do {
>>> + enum hvm_translation_result res;
>>> + struct page_info *page;
>>> + pagefault_info_t pfinfo;
>>> + p2m_type_t p2mt;
>>> +
>>> + /* Error checking. Confirm that the current slot is clean. */
>>> + ASSERT(mfn_x(*mfn) == 0);
>>> +
>>> + res = hvm_translate_get_page(curr, frame << PAGE_SHIFT, true, pfec,
>>> + &pfinfo, &page, NULL, &p2mt);
>>> +
>>> + switch ( res )
>>> + {
>>> + case HVMTRANS_okay:
>>> + break;
>>> +
>>> + case HVMTRANS_bad_linear_to_gfn:
>>> + x86_emul_pagefault(pfinfo.ec, pfinfo.linear,
> &hvmemul_ctxt->ctxt);
>>> + err = ERR_PTR(~(long)X86EMUL_EXCEPTION);
>>> + goto out;
>>> +
>>> + case HVMTRANS_bad_gfn_to_mfn:
>>> + err = NULL;
>>> + goto out;
>>> +
>>> + case HVMTRANS_gfn_paged_out:
>>> + case HVMTRANS_gfn_shared:
>>> + err = ERR_PTR(~(long)X86EMUL_RETRY);
>>> + goto out;
>>> +
>>> + default:
>>> + goto unhandleable;
>>> + }
>>> +
>>> + *mfn++ = _mfn(page_to_mfn(page));
>>> + frame++;
>>> +
>>> + if ( p2m_is_discard_write(p2mt) )
>>> + {
>>> + err = ERR_PTR(~(long)X86EMUL_OKAY);
>>> + goto out;
>>> + }
>>> +
>>> + } while ( frame < final );
>> while ( ++frame < final ), and lose the increment above?
>
> I deliberately wrote it this way, to avoid adding to the cognitive load
> of trying to work out what is going on.
It's a matter of taste as well as what you're used to whether the
increment inside the while() is helpful or hindering. I'm generally
of the opinion that things that belong together should go together
(just like for(;;) enforces by wanting everything on the same line),
and the increment and loop exit check do belong together.
Separating them like above would be advisable only if the
intermediate loop exit really requires the value to still be
un-incremented.
> -1 to the suggestion.
+1 from me, that is.
Jan
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings
2017-09-12 14:37 ` Andrew Cooper
2017-09-12 15:05 ` Jan Beulich
@ 2017-09-12 15:06 ` Paul Durrant
1 sibling, 0 replies; 22+ messages in thread
From: Paul Durrant @ 2017-09-12 15:06 UTC (permalink / raw)
To: Andrew Cooper, 'Alexandru Isaila',
xen-devel@lists.xen.org
Cc: Kevin Tian, sstabellini@kernel.org, Wei Liu,
suravee.suthikulpanit@amd.com, Razvan Cojocaru,
jun.nakajima@intel.com, Mihai Donțu, Tim (Xen.org),
George Dunlap, jbeulich@suse.com, Ian Jackson,
boris.ostrovsky@oracle.com
> -----Original Message-----
> From: Andrew Cooper
> Sent: 12 September 2017 07:38
> To: Paul Durrant <Paul.Durrant@citrix.com>; 'Alexandru Isaila'
> <aisaila@bitdefender.com>; xen-devel@lists.xen.org
> Cc: Tim (Xen.org) <tim@xen.org>; George Dunlap
> <George.Dunlap@citrix.com>; jbeulich@suse.com; Ian Jackson
> <Ian.Jackson@citrix.com>; konrad.wilk@oracle.com; sstabellini@kernel.org;
> Wei Liu <wei.liu2@citrix.com>; boris.ostrovsky@oracle.com;
> suravee.suthikulpanit@amd.com; jun.nakajima@intel.com; Kevin Tian
> <kevin.tian@intel.com>; Razvan Cojocaru <rcojocaru@bitdefender.com>;
> Mihai Donțu <mdontu@bitdefender.com>
> Subject: Re: [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using
> real mappings
>
> On 12/09/17 15:32, Paul Durrant wrote:
> >
> >> + {
> >> + ASSERT_UNREACHABLE();
> >> + goto unhandleable;
> >> + }
> >> +
> >> + do {
> >> + enum hvm_translation_result res;
> >> + struct page_info *page;
> >> + pagefault_info_t pfinfo;
> >> + p2m_type_t p2mt;
> >> +
> >> + /* Error checking. Confirm that the current slot is clean. */
> >> + ASSERT(mfn_x(*mfn) == 0);
> >> +
> >> + res = hvm_translate_get_page(curr, frame << PAGE_SHIFT, true,
> pfec,
> >> + &pfinfo, &page, NULL, &p2mt);
> >> +
> >> + switch ( res )
> >> + {
> >> + case HVMTRANS_okay:
> >> + break;
> >> +
> >> + case HVMTRANS_bad_linear_to_gfn:
> >> + x86_emul_pagefault(pfinfo.ec, pfinfo.linear, &hvmemul_ctxt-
> >ctxt);
> >> + err = ERR_PTR(~(long)X86EMUL_EXCEPTION);
> >> + goto out;
> >> +
> >> + case HVMTRANS_bad_gfn_to_mfn:
> >> + err = NULL;
> >> + goto out;
> >> +
> >> + case HVMTRANS_gfn_paged_out:
> >> + case HVMTRANS_gfn_shared:
> >> + err = ERR_PTR(~(long)X86EMUL_RETRY);
> >> + goto out;
> >> +
> >> + default:
> >> + goto unhandleable;
> >> + }
> >> +
> >> + *mfn++ = _mfn(page_to_mfn(page));
> >> + frame++;
> >> +
> >> + if ( p2m_is_discard_write(p2mt) )
> >> + {
> >> + err = ERR_PTR(~(long)X86EMUL_OKAY);
> >> + goto out;
> >> + }
> >> +
> >> + } while ( frame < final );
> > while ( ++frame < final ), and lose the increment above?
>
> I deliberately wrote it this way, to avoid adding to the cognitive load
> of trying to work out what is going on.
IMO there is more cognitive load in separating the increment from the test, but I'm not that fussed.
Paul
>
> -1 to the suggestion.
>
> ~Andrew
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings
2017-09-08 16:05 ` [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings Alexandru Isaila
2017-09-12 14:32 ` Paul Durrant
@ 2017-09-12 15:09 ` Andrew Cooper
2017-09-12 15:12 ` Paul Durrant
2017-09-18 13:43 ` Jan Beulich
2 siblings, 1 reply; 22+ messages in thread
From: Andrew Cooper @ 2017-09-12 15:09 UTC (permalink / raw)
To: Alexandru Isaila, xen-devel
Cc: jun.nakajima, kevin.tian, sstabellini, wei.liu2,
suravee.suthikulpanit, Razvan Cojocaru, george.dunlap, tim,
Mihai Donțu, ian.jackson, paul.durrant, jbeulich,
boris.ostrovsky
On 08/09/17 17:05, Alexandru Isaila wrote:
> + } while ( frame < final );
> +
> + /* Entire access within a single frame? */
> + if ( first == final )
> + mapping = map_domain_page(hvmemul_ctxt->mfn[0]) + (linear & ~PAGE_MASK);
> + /* Multiple frames? Need to vmap(). */
> + else if ( (mapping = vmap(hvmemul_ctxt->mfn,
> + mfn - hvmemul_ctxt->mfn)) == NULL )
> + goto unhandleable;
> +
> +#ifndef NDEBUG /* Poision unused mfn[]s with INVALID_MFN. */
> + while ( mfn < hvmemul_ctxt->mfn + ARRAY_SIZE(hvmemul_ctxt->mfn) )
> + {
> + ASSERT(mfn_x(*mfn) == 0);
> + *mfn++ = INVALID_MFN;
> + }
> +#endif
> +
> + return mapping;
/sigh - its sad what you notice when looking over your own code somewhat
later...
the + (linear & ~PAGE_MASK) needs removing from the map_domain_page()
call, and adding to this return statement, because it also needs to
happen for the vmap() case.
~Andrew
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings
2017-09-12 15:09 ` Andrew Cooper
@ 2017-09-12 15:12 ` Paul Durrant
0 siblings, 0 replies; 22+ messages in thread
From: Paul Durrant @ 2017-09-12 15:12 UTC (permalink / raw)
To: Andrew Cooper, Alexandru Isaila, xen-devel@lists.xen.org
Cc: Kevin Tian, sstabellini@kernel.org, Wei Liu,
suravee.suthikulpanit@amd.com, Razvan Cojocaru,
jun.nakajima@intel.com, Mihai Donțu, Tim (Xen.org),
George Dunlap, jbeulich@suse.com, Ian Jackson,
boris.ostrovsky@oracle.com
> -----Original Message-----
> From: Andrew Cooper
> Sent: 12 September 2017 08:10
> To: Alexandru Isaila <aisaila@bitdefender.com>; xen-devel@lists.xen.org
> Cc: Tim (Xen.org) <tim@xen.org>; George Dunlap
> <George.Dunlap@citrix.com>; jbeulich@suse.com; Ian Jackson
> <Ian.Jackson@citrix.com>; konrad.wilk@oracle.com; sstabellini@kernel.org;
> Wei Liu <wei.liu2@citrix.com>; Paul Durrant <Paul.Durrant@citrix.com>;
> boris.ostrovsky@oracle.com; suravee.suthikulpanit@amd.com;
> jun.nakajima@intel.com; Kevin Tian <kevin.tian@intel.com>; Razvan
> Cojocaru <rcojocaru@bitdefender.com>; Mihai Donțu
> <mdontu@bitdefender.com>
> Subject: Re: [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using
> real mappings
>
> On 08/09/17 17:05, Alexandru Isaila wrote:
> > + } while ( frame < final );
> > +
> > + /* Entire access within a single frame? */
> > + if ( first == final )
> > + mapping = map_domain_page(hvmemul_ctxt->mfn[0]) + (linear &
> ~PAGE_MASK);
> > + /* Multiple frames? Need to vmap(). */
> > + else if ( (mapping = vmap(hvmemul_ctxt->mfn,
> > + mfn - hvmemul_ctxt->mfn)) == NULL )
> > + goto unhandleable;
> > +
> > +#ifndef NDEBUG /* Poision unused mfn[]s with INVALID_MFN. */
> > + while ( mfn < hvmemul_ctxt->mfn + ARRAY_SIZE(hvmemul_ctxt->mfn)
> )
> > + {
> > + ASSERT(mfn_x(*mfn) == 0);
> > + *mfn++ = INVALID_MFN;
> > + }
> > +#endif
> > +
> > + return mapping;
>
> /sigh - its sad what you notice when looking over your own code somewhat
> later...
>
> the + (linear & ~PAGE_MASK) needs removing from the
> map_domain_page()
> call, and adding to this return statement, because it also needs to
> happen for the vmap() case.
Should vmap call through to map_domain_page() in the case of a single page I wonder?
Paul
>
> ~Andrew
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 2/4] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result
2017-09-08 16:05 ` [PATCH v2 2/4] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result Alexandru Isaila
2017-09-11 13:27 ` George Dunlap
@ 2017-09-18 8:22 ` Tian, Kevin
2017-09-18 13:00 ` Jan Beulich
2 siblings, 0 replies; 22+ messages in thread
From: Tian, Kevin @ 2017-09-18 8:22 UTC (permalink / raw)
To: Alexandru Isaila, xen-devel@lists.xen.org
Cc: Nakajima, Jun, sstabellini@kernel.org, wei.liu2@citrix.com,
suravee.suthikulpanit@amd.com, george.dunlap@eu.citrix.com,
andrew.cooper3@citrix.com, tim@xen.org, paul.durrant@citrix.com,
Jan Beulich, boris.ostrovsky@oracle.com,
ian.jackson@eu.citrix.com
> From: Alexandru Isaila [mailto:aisaila@bitdefender.com]
> Sent: Saturday, September 9, 2017 12:06 AM
>
> From: Andrew Cooper <andrew.cooper3@citrix.com>
>
> Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Kevin Tian <kevin.tian@intel.com>
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 2/4] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result
2017-09-08 16:05 ` [PATCH v2 2/4] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result Alexandru Isaila
2017-09-11 13:27 ` George Dunlap
2017-09-18 8:22 ` Tian, Kevin
@ 2017-09-18 13:00 ` Jan Beulich
2 siblings, 0 replies; 22+ messages in thread
From: Jan Beulich @ 2017-09-18 13:00 UTC (permalink / raw)
To: Alexandru Isaila, andrew.cooper3
Cc: kevin.tian, sstabellini, wei.liu2, suravee.suthikulpanit,
george.dunlap, tim, ian.jackson, xen-devel, paul.durrant,
jun.nakajima, boris.ostrovsky
>>> On 08.09.17 at 18:05, <aisaila@bitdefender.com> wrote:
> From: Andrew Cooper <andrew.cooper3@citrix.com>
>
> Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 3/4] x86/hvm: Break out __hvm_copy()'s translation logic
2017-09-08 16:05 ` [PATCH v2 3/4] x86/hvm: Break out __hvm_copy()'s translation logic Alexandru Isaila
@ 2017-09-18 13:18 ` Jan Beulich
0 siblings, 0 replies; 22+ messages in thread
From: Jan Beulich @ 2017-09-18 13:18 UTC (permalink / raw)
To: Alexandru Isaila, andrew.cooper3
Cc: kevin.tian, sstabellini, wei.liu2, suravee.suthikulpanit,
george.dunlap, tim, ian.jackson, xen-devel, paul.durrant,
jun.nakajima, boris.ostrovsky
>>> On 08.09.17 at 18:05, <aisaila@bitdefender.com> wrote:
> --- a/xen/arch/x86/hvm/hvm.c
> +++ b/xen/arch/x86/hvm/hvm.c
> @@ -3069,6 +3069,83 @@ void hvm_task_switch(
> hvm_unmap_entry(nptss_desc);
> }
>
> +enum hvm_translation_result hvm_translate_get_page(
> + struct vcpu *v, unsigned long addr, bool linear, uint32_t pfec,
> + pagefault_info_t *pfinfo, struct page_info **page_p,
> + gfn_t *gfn_p, p2m_type_t *p2mt_p)
> +{
> + struct page_info *page;
> + p2m_type_t p2mt;
> + gfn_t gfn;
> +
> + if ( linear )
> + {
> + gfn = _gfn(paging_gva_to_gfn(v, addr, &pfec));
> +
> + if ( gfn_eq(gfn, INVALID_GFN) )
> + {
> + if ( pfec & PFEC_page_paged )
> + return HVMTRANS_gfn_paged_out;
> +
> + if ( pfec & PFEC_page_shared )
> + return HVMTRANS_gfn_shared;
> +
> + if ( pfinfo )
> + {
> + pfinfo->linear = addr;
> + pfinfo->ec = pfec & ~PFEC_implicit;
> + }
> +
> + return HVMTRANS_bad_linear_to_gfn;
> + }
> + }
> + else
> + {
> + gfn = _gfn(addr >> PAGE_SHIFT);
This wants to become gaddr_to_gfn(), now that we have it, and ...
> + ASSERT(!pfinfo);
> + }
> +
> + /*
> + * No need to do the P2M lookup for internally handled MMIO, benefiting
> + * - 32-bit WinXP (& older Windows) on AMD CPUs for LAPIC accesses,
> + * - newer Windows (like Server 2012) for HPET accesses.
> + */
> + if ( v == current
> + && !nestedhvm_vcpu_in_guestmode(v)
> + && hvm_mmio_internal(gfn_x(gfn) << PAGE_SHIFT) )
... this one gfn_to_gaddr().
> + return HVMTRANS_bad_gfn_to_mfn;
> +
> + page = get_page_from_gfn(v->domain, gfn_x(gfn), &p2mt, P2M_UNSHARE);
> +
> + if ( !page )
> + return HVMTRANS_bad_gfn_to_mfn;
> +
> + if ( p2m_is_paging(p2mt) )
> + {
> + put_page(page);
> + p2m_mem_paging_populate(v->domain, gfn_x(gfn));
> + return HVMTRANS_gfn_paged_out;
> + }
> + if ( p2m_is_shared(p2mt) )
> + {
> + put_page(page);
> + return HVMTRANS_gfn_shared;
> + }
> + if ( p2m_is_grant(p2mt) )
> + {
> + put_page(page);
> + return HVMTRANS_unhandleable;
> + }
> +
> + *page_p = page;
> + if ( gfn_p )
> + *gfn_p = gfn;
> + if ( p2mt_p )
> + *p2mt_p = p2mt;
Considering the use in patch 4, is it really useful for p2mt_p to be an
optional output? I.e. do you foresee (in the near future) a case where
p2m_is_discard_write() doesn't need handling by the caller?
> @@ -103,6 +104,17 @@ enum hvm_translation_result hvm_fetch_from_guest_linear(
> void *buf, unsigned long addr, int size, uint32_t pfec,
> pagefault_info_t *pfinfo);
>
> +/*
> + * Get a reference on the page under an HVM physical or linear address. If
> + * linear, a pagewalk is performed using pfec (fault details optionally in
> + * pfinfo).
> + * On success, returns HVMTRANS_okay with a reference taken on **_page.
> + */
> +enum hvm_translation_result hvm_translate_get_page(
> + struct vcpu *v, unsigned long addr, bool linear, uint32_t pfec,
> + pagefault_info_t *pfinfo, struct page_info **page_p,
> + gfn_t *gfn_p, p2m_type_t *p2mt_p);
The optional nature of whichever outputs we decide to be optional
should probably be called out in the comment, just like it is for pfinfo.
None of the points brought up would really require another version,
they could all easily be dealt with while committing. But of course we
first need to agree on at least this last one.
Jan
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings
2017-09-08 16:05 ` [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings Alexandru Isaila
2017-09-12 14:32 ` Paul Durrant
2017-09-12 15:09 ` Andrew Cooper
@ 2017-09-18 13:43 ` Jan Beulich
2017-09-18 14:16 ` Alexandru Stefan ISAILA
2 siblings, 1 reply; 22+ messages in thread
From: Jan Beulich @ 2017-09-18 13:43 UTC (permalink / raw)
To: Alexandru Isaila, andrew.cooper3
Cc: kevin.tian, sstabellini, wei.liu2, jun.nakajima, Razvan Cojocaru,
george.dunlap, tim, Mihai Donțu, ian.jackson, xen-devel,
paul.durrant, suravee.suthikulpanit, boris.ostrovsky
>>> On 08.09.17 at 18:05, <aisaila@bitdefender.com> wrote:
> Changes since V1:
> - Moved ASSERT to the begining of the loop
> - Corrected the decrement on mfn int the while statement
> - Modified the comment to PAGE_SIZE+1
While several of my v1 comments were taken care of verbally, some
haven't been addressed here or during the discussion.
> While the maximum size of linear mapping is capped at 1 page, the logic
> in the helpers is written to work properly as hvmemul_ctxt->mfn[] gets
> longer,
> specifically with XSAVE instruction emulation in mind.
>
> This has only had light testing so far.
Has this changed in the meantime?
> +static void *hvmemul_map_linear_addr(
> + unsigned long linear, unsigned int bytes, uint32_t pfec,
> + struct hvm_emulate_ctxt *hvmemul_ctxt)
> +{
> + struct vcpu *curr = current;
> + void *err, *mapping;
> +
> + /* First and final gfns which need mapping. */
> + unsigned long frame = linear >> PAGE_SHIFT, first = frame;
> + unsigned long final = (linear + bytes - !!bytes) >> PAGE_SHIFT;
> +
> + /*
> + * mfn points to the next free slot. All used slots have a page reference
> + * held on them.
> + */
> + mfn_t *mfn = &hvmemul_ctxt->mfn[0];
> +
> + /*
> + * The caller has no legitimate reason for trying a zero-byte write, but
> + * final is calculate to fail safe in release builds.
> + *
> + * The maximum write size depends on the number of adjacent mfns[] which
> + * can be vmap()'d, accouting for possible misalignment within the region.
> + * The higher level emulation callers are responsible for ensuring that
> + * mfns[] is large enough for the requested write size.
> + */
> + if ( bytes == 0 ||
> + final - first > ARRAY_SIZE(hvmemul_ctxt->mfn) - 1 )
> + {
> + ASSERT_UNREACHABLE();
> + goto unhandleable;
> + }
> +
> + do {
> + enum hvm_translation_result res;
> + struct page_info *page;
> + pagefault_info_t pfinfo;
> + p2m_type_t p2mt;
> +
> + /* Error checking. Confirm that the current slot is clean. */
> + ASSERT(mfn_x(*mfn) == 0);
> +
> + res = hvm_translate_get_page(curr, frame << PAGE_SHIFT, true, pfec,
> + &pfinfo, &page, NULL, &p2mt);
> +
> + switch ( res )
> + {
> + case HVMTRANS_okay:
> + break;
> +
> + case HVMTRANS_bad_linear_to_gfn:
> + x86_emul_pagefault(pfinfo.ec, pfinfo.linear, &hvmemul_ctxt->ctxt);
> + err = ERR_PTR(~(long)X86EMUL_EXCEPTION);
Why the casts to long here and further down?
> + goto out;
> +
> + case HVMTRANS_bad_gfn_to_mfn:
> + err = NULL;
> + goto out;
> +
> + case HVMTRANS_gfn_paged_out:
> + case HVMTRANS_gfn_shared:
> + err = ERR_PTR(~(long)X86EMUL_RETRY);
> + goto out;
> +
> + default:
> + goto unhandleable;
> + }
> +
> + *mfn++ = _mfn(page_to_mfn(page));
> + frame++;
> +
> + if ( p2m_is_discard_write(p2mt) )
> + {
> + err = ERR_PTR(~(long)X86EMUL_OKAY);
> + goto out;
> + }
> +
> + } while ( frame < final );
> +
> + /* Entire access within a single frame? */
> + if ( first == final )
> + mapping = map_domain_page(hvmemul_ctxt->mfn[0]) + (linear & ~PAGE_MASK);
> + /* Multiple frames? Need to vmap(). */
> + else if ( (mapping = vmap(hvmemul_ctxt->mfn,
> + mfn - hvmemul_ctxt->mfn)) == NULL )
v1 comment was "final - first + 1 would likely yield better code."
> + goto unhandleable;
> +
> +#ifndef NDEBUG /* Poision unused mfn[]s with INVALID_MFN. */
> + while ( mfn < hvmemul_ctxt->mfn + ARRAY_SIZE(hvmemul_ctxt->mfn) )
> + {
> + ASSERT(mfn_x(*mfn) == 0);
> + *mfn++ = INVALID_MFN;
> + }
> +#endif
> +
> + return mapping;
> +
> + unhandleable:
> + err = ERR_PTR(~(long)X86EMUL_UNHANDLEABLE);
> +
> + out:
> + /* Drop all held references. */
> + while ( mfn-- > hvmemul_ctxt->mfn )
> + put_page(mfn_to_page(mfn_x(*mfn)));
> +
> + return err;
> +}
> +
> +static void hvmemul_unmap_linear_addr(
> + void *mapping, unsigned long linear, unsigned int bytes,
While this was discussed in response to v1, I still think "mapping"
should be const void *, or a prereq patch (which I would object
to) should be submitted to drop the const from vunmap() and
unmap_domain_page().
> @@ -1007,23 +1160,15 @@ static int hvmemul_write(
> (vio->mmio_gla == (addr & PAGE_MASK)) )
> return hvmemul_linear_mmio_write(addr, bytes, p_data, pfec, hvmemul_ctxt, 1);
>
> - rc = hvm_copy_to_guest_linear(addr, p_data, bytes, pfec, &pfinfo);
> -
> - switch ( rc )
> - {
> - case HVMTRANS_okay:
> - break;
> - case HVMTRANS_bad_linear_to_gfn:
> - x86_emul_pagefault(pfinfo.ec, pfinfo.linear, &hvmemul_ctxt->ctxt);
> - return X86EMUL_EXCEPTION;
> - case HVMTRANS_bad_gfn_to_mfn:
> + mapping = hvmemul_map_linear_addr(addr, bytes, pfec, hvmemul_ctxt);
> + if ( IS_ERR(mapping) )
> + return ~PTR_ERR(mapping);
> + else if ( !mapping )
v1 comment: 'Pointless "else".'
Jan
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
* Re: [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings
2017-09-18 13:43 ` Jan Beulich
@ 2017-09-18 14:16 ` Alexandru Stefan ISAILA
0 siblings, 0 replies; 22+ messages in thread
From: Alexandru Stefan ISAILA @ 2017-09-18 14:16 UTC (permalink / raw)
To: JBeulich@suse.com, andrew.cooper3@citrix.com
Cc: kevin.tian@intel.com, sstabellini@kernel.org, wei.liu2@citrix.com,
jun.nakajima@intel.com, rcojocaru@bitdefender.com,
george.dunlap@eu.citrix.com, tim@xen.org, mdontu@bitdefender.com,
ian.jackson@eu.citrix.com, xen-devel@lists.xen.org,
paul.durrant@citrix.com, suravee.suthikulpanit@amd.com,
boris.ostrovsky@oracle.com
On Lu, 2017-09-18 at 07:43 -0600, Jan Beulich wrote:
> >
> > >
> > > >
> > > > On 08.09.17 at 18:05, <aisaila@bitdefender.com> wrote:
> > Changes since V1:
> > - Moved ASSERT to the begining of the loop
> > - Corrected the decrement on mfn int the while statement
> > - Modified the comment to PAGE_SIZE+1
> While several of my v1 comments were taken care of verbally, some
> haven't been addressed here or during the discussion.
Sorry about that, I must have lost some or some emails have not been
indexed. I'll address all from now on.
>
> >
> > While the maximum size of linear mapping is capped at 1 page, the
> > logic
> > in the helpers is written to work properly as hvmemul_ctxt->mfn[]
> > gets
> > longer,
> > specifically with XSAVE instruction emulation in mind.
> >
> > This has only had light testing so far.
> Has this changed in the meantime?
This has not changed so far.
>
> >
> > +static void *hvmemul_map_linear_addr(
> > + unsigned long linear, unsigned int bytes, uint32_t pfec,
> > + struct hvm_emulate_ctxt *hvmemul_ctxt)
> > +{
> > + struct vcpu *curr = current;
> > + void *err, *mapping;
> > +
> > + /* First and final gfns which need mapping. */
> > + unsigned long frame = linear >> PAGE_SHIFT, first = frame;
> > + unsigned long final = (linear + bytes - !!bytes) >>
> > PAGE_SHIFT;
> > +
> > + /*
> > + * mfn points to the next free slot. All used slots have a
> > page reference
> > + * held on them.
> > + */
> > + mfn_t *mfn = &hvmemul_ctxt->mfn[0];
> > +
> > + /*
> > + * The caller has no legitimate reason for trying a zero-byte
> > write, but
> > + * final is calculate to fail safe in release builds.
> > + *
> > + * The maximum write size depends on the number of adjacent
> > mfns[] which
> > + * can be vmap()'d, accouting for possible misalignment within
> > the region.
> > + * The higher level emulation callers are responsible for
> > ensuring that
> > + * mfns[] is large enough for the requested write size.
> > + */
> > + if ( bytes == 0 ||
> > + final - first > ARRAY_SIZE(hvmemul_ctxt->mfn) - 1 )
> > + {
> > + ASSERT_UNREACHABLE();
> > + goto unhandleable;
> > + }
> > +
> > + do {
> > + enum hvm_translation_result res;
> > + struct page_info *page;
> > + pagefault_info_t pfinfo;
> > + p2m_type_t p2mt;
> > +
> > + /* Error checking. Confirm that the current slot is
> > clean. */
> > + ASSERT(mfn_x(*mfn) == 0);
> > +
> > + res = hvm_translate_get_page(curr, frame << PAGE_SHIFT,
> > true, pfec,
> > + &pfinfo, &page, NULL, &p2mt);
> > +
> > + switch ( res )
> > + {
> > + case HVMTRANS_okay:
> > + break;
> > +
> > + case HVMTRANS_bad_linear_to_gfn:
> > + x86_emul_pagefault(pfinfo.ec, pfinfo.linear,
> > &hvmemul_ctxt->ctxt);
> > + err = ERR_PTR(~(long)X86EMUL_EXCEPTION);
> Why the casts to long here and further down?
>
> >
> > + goto out;
> > +
> > + case HVMTRANS_bad_gfn_to_mfn:
> > + err = NULL;
> > + goto out;
> > +
> > + case HVMTRANS_gfn_paged_out:
> > + case HVMTRANS_gfn_shared:
> > + err = ERR_PTR(~(long)X86EMUL_RETRY);
> > + goto out;
> > +
> > + default:
> > + goto unhandleable;
> > + }
> > +
> > + *mfn++ = _mfn(page_to_mfn(page));
> > + frame++;
> > +
> > + if ( p2m_is_discard_write(p2mt) )
> > + {
> > + err = ERR_PTR(~(long)X86EMUL_OKAY);
> > + goto out;
> > + }
> > +
> > + } while ( frame < final );
> > +
> > + /* Entire access within a single frame? */
> > + if ( first == final )
> > + mapping = map_domain_page(hvmemul_ctxt->mfn[0]) + (linear
> > & ~PAGE_MASK);
> > + /* Multiple frames? Need to vmap(). */
> > + else if ( (mapping = vmap(hvmemul_ctxt->mfn,
> > + mfn - hvmemul_ctxt->mfn)) == NULL )
> v1 comment was "final - first + 1 would likely yield better code."
will do.
>
> >
> > + goto unhandleable;
> > +
> > +#ifndef NDEBUG /* Poision unused mfn[]s with INVALID_MFN. */
> > + while ( mfn < hvmemul_ctxt->mfn + ARRAY_SIZE(hvmemul_ctxt-
> > >mfn) )
> > + {
> > + ASSERT(mfn_x(*mfn) == 0);
> > + *mfn++ = INVALID_MFN;
> > + }
> > +#endif
> > +
> > + return mapping;
> > +
> > + unhandleable:
> > + err = ERR_PTR(~(long)X86EMUL_UNHANDLEABLE);
> > +
> > + out:
> > + /* Drop all held references. */
> > + while ( mfn-- > hvmemul_ctxt->mfn )
> > + put_page(mfn_to_page(mfn_x(*mfn)));
> > +
> > + return err;
> > +}
> > +
> > +static void hvmemul_unmap_linear_addr(
> > + void *mapping, unsigned long linear, unsigned int bytes,
> While this was discussed in response to v1, I still think "mapping"
> should be const void *, or a prereq patch (which I would object
> to) should be submitted to drop the const from vunmap() and
> unmap_domain_page().
I'll wait for Andrews opinion on this issue.
>
> >
> > @@ -1007,23 +1160,15 @@ static int hvmemul_write(
> > (vio->mmio_gla == (addr & PAGE_MASK)) )
> > return hvmemul_linear_mmio_write(addr, bytes, p_data,
> > pfec, hvmemul_ctxt, 1);
> >
> > - rc = hvm_copy_to_guest_linear(addr, p_data, bytes, pfec,
> > &pfinfo);
> > -
> > - switch ( rc )
> > - {
> > - case HVMTRANS_okay:
> > - break;
> > - case HVMTRANS_bad_linear_to_gfn:
> > - x86_emul_pagefault(pfinfo.ec, pfinfo.linear,
> > &hvmemul_ctxt->ctxt);
> > - return X86EMUL_EXCEPTION;
> > - case HVMTRANS_bad_gfn_to_mfn:
> > + mapping = hvmemul_map_linear_addr(addr, bytes, pfec,
> > hvmemul_ctxt);
> > + if ( IS_ERR(mapping) )
> > + return ~PTR_ERR(mapping);
> > + else if ( !mapping )
> v1 comment: 'Pointless "else".'
Agreed.
Regards,
Alex
________________________
This email was scanned by Bitdefender
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 22+ messages in thread
end of thread, other threads:[~2017-09-18 14:16 UTC | newest]
Thread overview: 22+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2017-09-08 16:05 [PATCH v2 0/4] Various XSA followups Alexandru Isaila
2017-09-08 16:05 ` [PATCH v2 1/4] x86/shadow: Use ERR_PTR infrastructure for sh_emulate_map_dest() Alexandru Isaila
2017-09-12 9:37 ` Wei Liu
2017-09-08 16:05 ` [PATCH v2 2/4] x86/hvm: Rename enum hvm_copy_result to hvm_translation_result Alexandru Isaila
2017-09-11 13:27 ` George Dunlap
2017-09-11 13:32 ` Wei Liu
2017-09-11 13:39 ` Andrew Cooper
2017-09-12 10:00 ` George Dunlap
2017-09-18 8:22 ` Tian, Kevin
2017-09-18 13:00 ` Jan Beulich
2017-09-08 16:05 ` [PATCH v2 3/4] x86/hvm: Break out __hvm_copy()'s translation logic Alexandru Isaila
2017-09-18 13:18 ` Jan Beulich
2017-09-08 16:05 ` [PATCH v2 4/4] x86/hvm: Implement hvmemul_write() using real mappings Alexandru Isaila
2017-09-12 14:32 ` Paul Durrant
2017-09-12 14:37 ` Andrew Cooper
2017-09-12 15:05 ` Jan Beulich
2017-09-12 15:06 ` Paul Durrant
2017-09-12 15:09 ` Andrew Cooper
2017-09-12 15:12 ` Paul Durrant
2017-09-18 13:43 ` Jan Beulich
2017-09-18 14:16 ` Alexandru Stefan ISAILA
2017-09-08 20:03 ` [PATCH v2 0/4] Various XSA followups Tim Deegan
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.