>>> On 22.01.15 at 05:40, <kevin.t...@intel.com> wrote:
>>  From: Jan Beulich [mailto:jbeul...@suse.com]
>> Sent: Tuesday, January 20, 2015 7:06 PM
>> 
>> Several guest state fields did not get dumped so far. Where suitable
>> (to reduce the amount of output) make some of the dumping conditional
>> upon guest settings (this isn't required for correctness as vmr()
>> already uses __vmread_safe(), i.e. it is fine to access non-existing
>> fields).
>> 
>> Move CR3_TARGET_* and TSC_OFFSET processing into the control state
>> section, at once making the upper bound of CR3_TARGET_VALUEn printed
>> depend on CR3_TARGET_COUNT (which architecturally can be higher than
>> 4).
>> 
>> Also rename GUEST_PDPTRn to GUEST_PDPTEn (matching the SDM naming)
>> and
>> group them as well as CR3_TARGET_VALUEn similar to EOI_EXIT_BITMAP.
>> 
>> Finally, drop casts - they haven't been needed anymore since the
>> dropping of 32-bit support (and some of them were not really needed in
>> the first place). Introduce vmr16() and vmr32() helper macros to avoid
>> the "l" printk format modifier and at the same time validate that only
>> 16-/32-bit fields get accessed this way.
>> 
>> Signed-off-by: Jan Beulich <jbeul...@suse.com>
> 
> Acked-by: Kevin Tian <kevin.t...@intel.com>, given that vmr32 typo is fixed.

Sure. Any word on the question raised outside of the commit
message:

Is cpu_has_vmx_pat properly defined? Shouldn't this take into
consideration all three respective flags (VM_EXIT_SAVE_GUEST_PAT,
VM_EXIT_LOAD_HOST_PAT, and VM_ENTRY_LOAD_GUEST_PAT)?

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

Reply via email to