> 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. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
