>>> On 20.01.15 at 18:03, <andrew.coop...@citrix.com> wrote:
> On 20/01/15 11:05, Jan Beulich wrote:
>> --- a/xen/arch/x86/hvm/vmx/vmcs.c
>> +++ b/xen/arch/x86/hvm/vmx/vmcs.c
>> @@ -1395,6 +1395,16 @@ static inline unsigned long vmr(unsigned
>> return __vmread_safe(field, &val) ? val : 0;
>> }
>>
>> +#define vmr16(fld) ({ \
>> + BUILD_BUG_ON((fld) & 0x6001); \
>> + (uint16_t)vmr(fld); \
>> +})
>> +
>> +#define vmr32(fld) ({ \
>> + BUILD_BUG_ON(((fld) & 0x6001) != 0x4000); \
>> + (uint16_t)vmr(fld); \
>
> uint32_t ?
Oops - yes of course! Thanks for spotting.
Jan
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
