On 07/02/18 16:12, Jan Beulich wrote: > CR3 is - during normal operation - only ever loaded from v->arch.cr3, > so there's no need to read the actual control register. For CR4 we can > generally use the cached value on all synchronous entry end exit paths. > Drop the write_cr3 macro, as the two use sites are probably easier to > follow without its use. > > Signed-off-by: Jan Beulich <jbeul...@suse.com>
Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
