1 /* SPDX-License-Identifier: GPL-2.0 */
4 * Xen memory reservation utilities.
6 * Copyright (c) 2003, B Dragovic
7 * Copyright (c) 2003-2004, M Williamson, K Fraser
8 * Copyright (c) 2005 Dan M. Smith, IBM Corporation
9 * Copyright (c) 2010 Daniel Kiper
10 * Copyright (c) 2018 Oleksandr Andrushchenko, EPAM Systems Inc.
13 #ifndef _XENMEM_RESERVATION_H
14 #define _XENMEM_RESERVATION_H
16 #include <linux/highmem.h>
20 extern bool xen_scrub_pages
;
22 static inline void xenmem_reservation_scrub_page(struct page
*page
)
28 #ifdef CONFIG_XEN_HAVE_PVMMU
29 void __xenmem_reservation_va_mapping_update(unsigned long count
,
33 void __xenmem_reservation_va_mapping_reset(unsigned long count
,
37 static inline void xenmem_reservation_va_mapping_update(unsigned long count
,
41 #ifdef CONFIG_XEN_HAVE_PVMMU
42 if (!xen_feature(XENFEAT_auto_translated_physmap
))
43 __xenmem_reservation_va_mapping_update(count
, pages
, frames
);
47 static inline void xenmem_reservation_va_mapping_reset(unsigned long count
,
50 #ifdef CONFIG_XEN_HAVE_PVMMU
51 if (!xen_feature(XENFEAT_auto_translated_physmap
))
52 __xenmem_reservation_va_mapping_reset(count
, pages
);
56 int xenmem_reservation_increase(int count
, xen_pfn_t
*frames
);
58 int xenmem_reservation_decrease(int count
, xen_pfn_t
*frames
);