On 04/15/16 12:02, Razvan Cojocaru wrote:
> + else if ( (msr >= 0x80000000) && (msr <= 0x80001fff) )
> + {
> + msr &= 0x1fff;
> + __set_bit(msr, &d->arch.monitor_msr_bitmap->high);
> + }This of course should be 0xc0000000 and 0xc0001fff. Sorry for the typo. Will fix it in V4 (but waiting for other comments in the meantime). Thanks, Razvan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
