X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx_msr.c;h=18bb3ee5cfee8e157291d89185c7517b9c43c7ea;hp=ea2037487e4ce6d02aeca8e687dc2b0e632991f7;hb=198151f1d58834ff7889389007232a3d250f51f1;hpb=6d3926e16dc1ba6ca0144e65b737e432c48aaa91 diff --git a/palacios/src/palacios/vmx_msr.c b/palacios/src/palacios/vmx_msr.c index ea20374..18bb3ee 100644 --- a/palacios/src/palacios/vmx_msr.c +++ b/palacios/src/palacios/vmx_msr.c @@ -31,6 +31,7 @@ static int get_bitmap_index(uint_t msr) { + // unsigned comparison with 0 here for clarity if( (msr >= LOW_MSR_START) && msr <= LOW_MSR_END) { return LOW_MSR_INDEX + msr; } else if (( msr >= HIGH_MSR_START ) && (msr <= HIGH_MSR_END)) {