From 4b6684a083c949ffe05f8417b80b1f6eb8d8c8f8 Mon Sep 17 00:00:00 2001 From: "awilliam@xenbuild.aw" Date: Wed, 14 Jun 2006 16:05:43 -0600 Subject: [PATCH] [IA64] Fix a bug in vmx_vcpu_pta Signed-off-by: Anthony Xu --- xen/arch/ia64/vmx/vmmu.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/xen/arch/ia64/vmx/vmmu.c b/xen/arch/ia64/vmx/vmmu.c index 3df28d1afd..c6ec77f1e4 100644 --- a/xen/arch/ia64/vmx/vmmu.c +++ b/xen/arch/ia64/vmx/vmmu.c @@ -612,7 +612,8 @@ IA64FAULT vmx_vcpu_tpa(VCPU *vcpu, UINT64 vadr, UINT64 *padr) dnat_page_consumption(vcpu, vadr); return IA64_FAULT; }else{ - *padr = (data->ppn<<12) | (vadr&(PSIZE(data->ps)-1)); + *padr = ((data->ppn >> (data->ps - 12)) << data->ps) | + (vadr & (PSIZE(data->ps) - 1)); return IA64_NO_FAULT; } } -- 2.30.2