2 * Jailhouse, a Linux-based partitioning hypervisor
4 * Copyright (c) Siemens AG, 2013
7 * Jan Kiszka <jan.kiszka@siemens.com>
9 * This work is licensed under the terms of the GNU GPL, version 2. See
10 * the COPYING file in the top-level directory.
13 #include <jailhouse/entry.h>
15 int arch_init_early(struct cell *linux_cell)
20 int arch_cpu_init(struct per_cpu *cpu_data)
25 int arch_init_late(struct cell *linux_cell)
30 void arch_cpu_activate_vmm(struct per_cpu *cpu_data)
35 void arch_cpu_restore(struct per_cpu *cpu_data)
39 // catch missing symbols
40 #include <jailhouse/printk.h>
41 #include <jailhouse/processor.h>
42 #include <jailhouse/control.h>
43 #include <jailhouse/string.h>
44 void arch_dbg_write_init(void) {}
45 int phys_processor_id(void) { return 0; }
46 void arch_suspend_cpu(unsigned int cpu_id) {}
47 void arch_resume_cpu(unsigned int cpu_id) {}
48 void arch_reset_cpu(unsigned int cpu_id) {}
49 void arch_park_cpu(unsigned int cpu_id) {}
50 void arch_shutdown_cpu(unsigned int cpu_id) {}
51 int arch_cell_create(struct per_cpu *cpu_data, struct cell *new_cell)
53 int arch_map_memory_region(struct cell *cell,
54 const struct jailhouse_memory *mem)
56 void arch_unmap_memory_region(struct cell *cell,
57 const struct jailhouse_memory *mem) {}
58 void arch_cell_destroy(struct per_cpu *cpu_data, struct cell *new_cell) {}
59 void *memcpy(void *dest, const void *src, unsigned long n) { return NULL; }
60 void arch_dbg_write(const char *msg) {}
61 void arch_shutdown(void) {}