1 /* SPDX-License-Identifier: GPL-2.0-only */
2 #ifndef __ASM_GENERIC_PAGING_H__
3 #define __ASM_GENERIC_PAGING_H__
4 
5 #include <xen/stdbool.h>
6 
7 #define paging_mode_translate(d)    ((void)(d), true)
8 #define paging_mode_external(d)     ((void)(d), true)
9 
10 #endif /* __ASM_GENERIC_PAGING_H__ */
11 
12 /*
13  * Local variables:
14  * mode: C
15  * c-file-style: "BSD"
16  * c-basic-offset: 4
17  * indent-tabs-mode: nil
18  * End:
19  */
20