Re: [Xen-devel] [PATCH v5 6/6] domain: use PGC_extra domheap page for shared_info

2020-03-12 Thread Jan Beulich
On 11.03.2020 16:28, Paul Durrant wrote: >> -Original Message- >> From: Jan Beulich >> Sent: 11 March 2020 09:17 >> To: p...@xen.org >> Cc: xen-devel@lists.xenproject.org; 'Paul Durrant' ; >> 'Stefano Stabellini' >> ; 'Julien Grall' ; 'Volodymyr >> Babchuk' >> ; 'Andrew Cooper' ; >>

Re: [Xen-devel] [PATCH v5 6/6] domain: use PGC_extra domheap page for shared_info

2020-03-11 Thread Paul Durrant
> -Original Message- > From: Jan Beulich > Sent: 11 March 2020 09:17 > To: p...@xen.org > Cc: xen-devel@lists.xenproject.org; 'Paul Durrant' ; > 'Stefano Stabellini' > ; 'Julien Grall' ; 'Volodymyr Babchuk' > ; 'Andrew Cooper' ; > 'George Dunlap' > ; 'Ian Jackson' ; > 'Konrad Rzeszutek

Re: [Xen-devel] [PATCH v5 6/6] domain: use PGC_extra domheap page for shared_info

2020-03-11 Thread Jan Beulich
On 10.03.2020 18:33, Paul Durrant wrote: >> -Original Message- >> From: Jan Beulich >> Sent: 09 March 2020 15:56 >> >> On 09.03.2020 11:23, p...@xen.org wrote: >>> --- a/xen/common/time.c >>> +++ b/xen/common/time.c >>> @@ -99,6 +99,18 @@ void update_domain_wallclock_time(struct domain

Re: [Xen-devel] [PATCH v5 6/6] domain: use PGC_extra domheap page for shared_info

2020-03-10 Thread Paul Durrant
> -Original Message- > From: Jan Beulich > Sent: 09 March 2020 15:56 > To: p...@xen.org > Cc: xen-devel@lists.xenproject.org; Paul Durrant ; > Stefano Stabellini > ; Julien Grall ; Volodymyr Babchuk > ; Andrew Cooper ; > George Dunlap > ; Ian Jackson ; Konrad > Rzeszutek Wilk > ; Wei

Re: [Xen-devel] [PATCH v5 6/6] domain: use PGC_extra domheap page for shared_info

2020-03-09 Thread Jan Beulich
On 09.03.2020 11:23, p...@xen.org wrote: > From: Paul Durrant > > Currently shared_info is a shared xenheap page but shared xenheap pages > complicate future plans for live-update of Xen so it is desirable to, > where possible, not use them [1]. This patch therefore converts shared_info > into a

[Xen-devel] [PATCH v5 6/6] domain: use PGC_extra domheap page for shared_info

2020-03-09 Thread paul
From: Paul Durrant Currently shared_info is a shared xenheap page but shared xenheap pages complicate future plans for live-update of Xen so it is desirable to, where possible, not use them [1]. This patch therefore converts shared_info into a PGC_extra domheap page. This does entail freeing