>>> On 12.09.16 at 22:18, <daniel.ki...@oracle.com> wrote: > --- a/xen/arch/x86/domain_page.c > +++ b/xen/arch/x86/domain_page.c > @@ -36,7 +36,7 @@ static inline struct vcpu *mapcache_current_vcpu(void) > * domain's page tables but current may point at another domain's VCPU. > * Return NULL as though current is not properly set up yet. > */ > - if ( efi_enabled && efi_rs_using_pgtables() ) > + if ( efi_enabled(EFI_RS) && efi_rs_using_pgtables() )
I think the efi_enabled() here is pointless now. With this dropped (unless you know of a reason that it needs to stay) Reviewed-by: Jan Beulich <jbeul...@suse.com> Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
