Re: [Xen-devel] [PATCH v6 05/15] efi: create efi_enabled()

2016-09-19 Thread Jan Beulich
>>> On 19.09.16 at 17:38, wrote: > On Mon, Sep 19, 2016 at 08:57:02AM -0600, Jan Beulich wrote: >> >>> On 19.09.16 at 16:27, wrote: >> > On Mon, Sep 19, 2016 at 05:58:46AM -0600, Jan Beulich wrote: >> >> >>> On 12.09.16 at 22:18, wrote: >> >> > --- a/xen/arch/x86/domain_page.c >> >> > +++ b/xen/

Re: [Xen-devel] [PATCH v6 05/15] efi: create efi_enabled()

2016-09-19 Thread Daniel Kiper
On Mon, Sep 19, 2016 at 08:57:02AM -0600, Jan Beulich wrote: > >>> On 19.09.16 at 16:27, wrote: > > On Mon, Sep 19, 2016 at 05:58:46AM -0600, Jan Beulich wrote: > >> >>> On 12.09.16 at 22:18, wrote: > >> > --- a/xen/arch/x86/domain_page.c > >> > +++ b/xen/arch/x86/domain_page.c > >> > @@ -36,7 +3

Re: [Xen-devel] [PATCH v6 05/15] efi: create efi_enabled()

2016-09-19 Thread Jan Beulich
>>> On 19.09.16 at 16:27, wrote: > On Mon, Sep 19, 2016 at 05:58:46AM -0600, Jan Beulich wrote: >> >>> On 12.09.16 at 22:18, 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) >> >

Re: [Xen-devel] [PATCH v6 05/15] efi: create efi_enabled()

2016-09-19 Thread Wei Liu
On Mon, Sep 19, 2016 at 04:27:11PM +0200, Daniel Kiper wrote: > On Mon, Sep 19, 2016 at 05:58:46AM -0600, Jan Beulich wrote: > > >>> On 12.09.16 at 22:18, wrote: > > > --- a/xen/arch/x86/domain_page.c > > > +++ b/xen/arch/x86/domain_page.c > > > @@ -36,7 +36,7 @@ static inline struct vcpu *mapcach

Re: [Xen-devel] [PATCH v6 05/15] efi: create efi_enabled()

2016-09-19 Thread Daniel Kiper
On Mon, Sep 19, 2016 at 05:58:46AM -0600, Jan Beulich wrote: > >>> On 12.09.16 at 22:18, 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 po

Re: [Xen-devel] [PATCH v6 05/15] efi: create efi_enabled()

2016-09-19 Thread Jan Beulich
>>> On 12.09.16 at 22:18, 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 i