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

2020-03-24 Thread Durrant, Paul
> -Original Message- [snip] > > 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

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

2020-03-24 Thread Julien Grall
Hi Paul, On 10/03/2020 17:49, 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

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

2020-03-24 Thread Jan Beulich
On 24.03.2020 10:26, Jan Beulich wrote: > On 10.03.2020 18:49, 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

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

2020-03-24 Thread Jan Beulich
On 10.03.2020 18:49, 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

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

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

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

2020-03-17 Thread Jan Beulich
On 10.03.2020 18:49, 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 v6 5/5] domain: use PGC_extra domheap page for shared_info

2020-03-10 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 shar