From: Dmitry Voytik <dmitry.voy...@huawei.com> Add the header file control.h to the AArch64 port of Jailhouse.
Signed-off-by: Dmitry Voytik <dmitry.voy...@huawei.com> Signed-off-by: Antonios Motakis <antonios.mota...@huawei.com> [antonios.mota...@huawei.com: split off as a separate patch] [Jan: remove obsolete parts, update arch_handle_* prototypes] Signed-off-by: Jan Kiszka <jan.kis...@siemens.com> --- hypervisor/arch/arm64/include/asm/control.h | 35 +++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 hypervisor/arch/arm64/include/asm/control.h diff --git a/hypervisor/arch/arm64/include/asm/control.h b/hypervisor/arch/arm64/include/asm/control.h new file mode 100644 index 0000000..7563529 --- /dev/null +++ b/hypervisor/arch/arm64/include/asm/control.h @@ -0,0 +1,35 @@ +/* + * Jailhouse AArch64 support + * + * Copyright (C) 2015 Huawei Technologies Duesseldorf GmbH + * + * Authors: + * Dmitry Voytik <dmitry.voy...@huawei.com> + * + * This work is licensed under the terms of the GNU GPL, version 2. See + * the COPYING file in the top-level directory. + */ + +#ifndef _JAILHOUSE_ASM_CONTROL_H +#define _JAILHOUSE_ASM_CONTROL_H + +#define SGI_INJECT 0 +#define SGI_EVENT 1 + +#include <asm/percpu.h> + +void arch_cpu_tlb_flush(struct per_cpu *cpu_data); +void arch_cell_caches_flush(struct cell *cell); +void arch_handle_sgi(struct per_cpu *cpu_data, u32 irqn, + unsigned int count_event); +struct registers* arch_handle_exit(struct per_cpu *cpu_data, + struct registers *regs); +bool arch_handle_phys_irq(struct per_cpu *cpu_data, u32 irqn, + unsigned int count_event); +void arch_reset_self(struct per_cpu *cpu_data); +void arch_shutdown_self(struct per_cpu *cpu_data); + +void __attribute__((noreturn)) vmreturn(struct registers *guest_regs); +void __attribute__((noreturn)) arch_shutdown_mmu(struct per_cpu *cpu_data); + +#endif /* !_JAILHOUSE_ASM_CONTROL_H */ -- 2.1.4 -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to jailhouse-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
