1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <xen/bug.h>
4 #include <xen/init.h>
5 #include <asm/p2m.h>
6 
setup_virt_paging(void)7 void __init setup_virt_paging(void)
8 {
9     BUG_ON("unimplemented");
10 }
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