diff options
Diffstat (limited to 'xen/arch/arm/mm.c')
| -rw-r--r-- | xen/arch/arm/mm.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/xen/arch/arm/mm.c b/xen/arch/arm/mm.c index 9e2ff7c800..b4763d9a3d 100644 --- a/xen/arch/arm/mm.c +++ b/xen/arch/arm/mm.c @@ -1560,17 +1560,17 @@ void put_page(struct page_info *page) } } -int get_page(struct page_info *page, struct domain *domain) +bool get_page(struct page_info *page, const struct domain *domain) { - struct domain *owner = page_get_owner_and_reference(page); + const struct domain *owner = page_get_owner_and_reference(page); if ( likely(owner == domain) ) - return 1; + return true; if ( owner != NULL ) put_page(page); - return 0; + return false; } /* Common code requires get_page_type and put_page_type. |