1 /* SPDX-License-Identifier: GPL-2.0 */ 1
2
3 /*
4 * Xen memory reservation utilities.
5 *
6 * Copyright (c) 2003, B Dragovic
7 * Copyright (c) 2003-2004, M Williamson, K Fr
8 * Copyright (c) 2005 Dan M. Smith, IBM Corpor
9 * Copyright (c) 2010 Daniel Kiper
10 * Copyright (c) 2018 Oleksandr Andrushchenko,
11 */
12
13 #ifndef _XENMEM_RESERVATION_H
14 #define _XENMEM_RESERVATION_H
15
16 #include <linux/highmem.h>
17
18 #include <xen/page.h>
19
20 extern bool xen_scrub_pages;
21
22 static inline void xenmem_reservation_scrub_pa
23 {
24 if (xen_scrub_pages)
25 clear_highpage(page);
26 }
27
28 #ifdef CONFIG_XEN_HAVE_PVMMU
29 void __xenmem_reservation_va_mapping_update(un
30 st
31 xe
32
33 void __xenmem_reservation_va_mapping_reset(uns
34 str
35 #endif
36
37 static inline void xenmem_reservation_va_mappi
38
39
40 {
41 #ifdef CONFIG_XEN_HAVE_PVMMU
42 if (!xen_feature(XENFEAT_auto_translat
43 __xenmem_reservation_va_mappin
44 #endif
45 }
46
47 static inline void xenmem_reservation_va_mappi
48
49 {
50 #ifdef CONFIG_XEN_HAVE_PVMMU
51 if (!xen_feature(XENFEAT_auto_translat
52 __xenmem_reservation_va_mappin
53 #endif
54 }
55
56 int xenmem_reservation_increase(int count, xen
57
58 int xenmem_reservation_decrease(int count, xen
59
60 #endif
61
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.