X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_hvm.c;h=26d3298b5b96ab987d565b5600a57034a9e03f29;hp=43a86724f65effc2e5ec99d1ad7586c3be7219be;hb=198151f1d58834ff7889389007232a3d250f51f1;hpb=6d3926e16dc1ba6ca0144e65b737e432c48aaa91

diff --git a/palacios/src/palacios/vmm_hvm.c b/palacios/src/palacios/vmm_hvm.c
index 43a8672..26d3298 100644
--- a/palacios/src/palacios/vmm_hvm.c
+++ b/palacios/src/palacios/vmm_hvm.c
@@ -563,7 +563,7 @@ uint32_t v3_get_hvm_hrt_cores(struct v3_vm_info *vm)
 int v3_is_hvm_ros_mem_gpa(struct v3_vm_info *vm, addr_t gpa)
 {
     if (vm->hvm_state.is_hvm) { 
-	return gpa>=0 && gpa<vm->hvm_state.first_hrt_gpa;
+	return gpa<vm->hvm_state.first_hrt_gpa;
     } else {
 	return 1;
     }