On 24.08.2022 11:03, Julien Grall wrote:
> Hi,
>
> On 16/08/2022 07:40, Jan Beulich wrote:
>> On 16.08.2022 04:36, Penny Zheng wrote:
>>> +void free_domstatic_page(struct page_info *page)
>>> +{
>>> +struct domain *d = page_get_owner(page);
>>> +bool drop_dom_ref;
>>> +
>>> +if ( unlik
On 24.08.22 11:31, Julien Grall wrote:
Hi Juergen,
On 24/08/2022 10:27, Juergen Gross wrote:
On 24.08.22 11:03, Julien Grall wrote:
Hi,
On 16/08/2022 07:40, Jan Beulich wrote:
On 16.08.2022 04:36, Penny Zheng wrote:
+void free_domstatic_page(struct page_info *page)
+{
+ struct domain *d
Hi Juergen,
On 24/08/2022 10:27, Juergen Gross wrote:
On 24.08.22 11:03, Julien Grall wrote:
Hi,
On 16/08/2022 07:40, Jan Beulich wrote:
On 16.08.2022 04:36, Penny Zheng wrote:
+void free_domstatic_page(struct page_info *page)
+{
+ struct domain *d = page_get_owner(page);
+ bool drop_d
On 24.08.22 11:03, Julien Grall wrote:
Hi,
On 16/08/2022 07:40, Jan Beulich wrote:
On 16.08.2022 04:36, Penny Zheng wrote:
+void free_domstatic_page(struct page_info *page)
+{
+ struct domain *d = page_get_owner(page);
+ bool drop_dom_ref;
+
+ if ( unlikely(!d) )
+ {
+ ASSER
Hi,
On 16/08/2022 07:40, Jan Beulich wrote:
On 16.08.2022 04:36, Penny Zheng wrote:
+void free_domstatic_page(struct page_info *page)
+{
+struct domain *d = page_get_owner(page);
+bool drop_dom_ref;
+
+if ( unlikely(!d) )
+{
+ASSERT_UNREACHABLE();
+printk("The ab
On 16.08.2022 04:36, Penny Zheng wrote:
> +void free_domstatic_page(struct page_info *page)
> +{
> +struct domain *d = page_get_owner(page);
> +bool drop_dom_ref;
> +
> +if ( unlikely(!d) )
> +{
> +ASSERT_UNREACHABLE();
> +printk("The about-to-free static page %"PRI_
Pages used as guest RAM for static domain, shall be reserved to this
domain only.
So in case reserved pages being used for other purpose, users
shall not free them back to heap, even when last ref gets dropped.
This commit introduces a new helper free_domstatic_page to free
static page in runtime,
