1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 /******************************************************************************
3  * include/asm-x86/mem_paging.h
4  *
5  * Memory paging support.
6  *
7  * Copyright (c) 2009 Citrix Systems, Inc. (Patrick Colp)
8  */
9 
10 #ifndef __ASM_X86_MEM_PAGING_H__
11 #define __ASM_X86_MEM_PAGING_H__
12 
13 int mem_paging_memop(XEN_GUEST_HANDLE_PARAM(xen_mem_paging_op_t) arg);
14 
15 #endif /*__ASM_X86_MEM_PAGING_H__ */
16 
17 /*
18  * Local variables:
19  * mode: C
20  * c-file-style: "BSD"
21  * c-basic-offset: 4
22  * indent-tabs-mode: nil
23  * End:
24  */
25