2 * This file is subject to the terms and conditions of the GNU General Public
3 * License. See the file "COPYING" in the main directory of this archive
6 * KVM/MIPS: MIPS specific KVM APIs
8 * Copyright (C) 2012-2014 Imagination Technologies Ltd.
9 * Authors: Sanjay Lal <sanjayl@kymasys.com>
18 * kvm_mips_reset_vcpu:
21 * Called at reset time to set kernel registers to their initial values.
23 void kvm_mips_reset_vcpu(MIPSCPU
*cpu
);
25 int kvm_mips_set_interrupt(MIPSCPU
*cpu
, int irq
, int level
);
26 int kvm_mips_set_ipi_interrupt(MIPSCPU
*cpu
, int irq
, int level
);
29 int mips_kvm_type(MachineState
*machine
, const char *vm_type
);
31 static inline int mips_kvm_type(MachineState
*machine
, const char *vm_type
)
37 #endif /* KVM_MIPS_H */