2 * Copyright 2008 IBM Corporation.
3 * Authors: Hollis Blanchard <hollisb@us.ibm.com>
5 * This work is licensed under the GNU GPL license version 2 or later.
12 void kvmppc_init(void);
13 void kvmppc_fdt_update(void *fdt
);
15 static inline int kvmppc_read_host_property(const char *node_path
, const char *prop
,
16 void *val
, size_t len
)
22 int kvmppc_read_host_property(const char *node_path
, const char *prop
,
23 void *val
, size_t len
);
26 uint32_t kvmppc_get_tbfreq(void);
27 int kvmppc_get_hypercall(CPUState
*env
, uint8_t *buf
, int buf_len
);
28 int kvmppc_set_interrupt(CPUState
*env
, int irq
, int level
);
31 #define kvmppc_eieio() do { } while (0)
33 #define kvmppc_eieio() \
35 if (kvm_enabled()) { \
36 asm volatile("eieio" : : : "memory"); \
41 #ifndef KVM_INTERRUPT_SET
42 #define KVM_INTERRUPT_SET -1
45 #ifndef KVM_INTERRUPT_UNSET
46 #define KVM_INTERRUPT_UNSET -2
49 #ifndef KVM_INTERRUPT_SET_LEVEL
50 #define KVM_INTERRUPT_SET_LEVEL -3
53 #endif /* __KVM_PPC_H__ */