1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <xen/bug.h>
4 #include <xen/errno.h>
5 #include <xen/mm.h>
6 #include <xen/stdbool.h>
7 
prepare_secondary_mm(int cpu)8 int prepare_secondary_mm(int cpu)
9 {
10     BUG_ON("unimplemented");
11     return -EINVAL;
12 }
13 
update_boot_mapping(bool enable)14 void update_boot_mapping(bool enable)
15 {
16     BUG_ON("unimplemented");
17 }
18 
19 /*
20  * Local variables:
21  * mode: C
22  * c-file-style: "BSD"
23  * c-basic-offset: 4
24  * indent-tabs-mode: nil
25  * End:
26  */
27