|
@@ -28,7 +28,7 @@ void kvmppc_set_papr(PowerPCCPU *cpu);
|
|
|
int kvmppc_set_compat(PowerPCCPU *cpu, uint32_t compat_pvr);
|
|
|
void kvmppc_set_mpic_proxy(PowerPCCPU *cpu, int mpic_proxy);
|
|
|
bool kvmppc_get_fwnmi(void);
|
|
|
-int kvmppc_set_fwnmi(void);
|
|
|
+int kvmppc_set_fwnmi(PowerPCCPU *cpu);
|
|
|
int kvmppc_smt_threads(void);
|
|
|
void kvmppc_error_append_smt_possible_hint(Error *const *errp);
|
|
|
int kvmppc_set_smt_threads(int smt);
|
|
@@ -169,7 +169,7 @@ static inline bool kvmppc_get_fwnmi(void)
|
|
|
return false;
|
|
|
}
|
|
|
|
|
|
-static inline int kvmppc_set_fwnmi(void)
|
|
|
+static inline int kvmppc_set_fwnmi(PowerPCCPU *cpu)
|
|
|
{
|
|
|
return -1;
|
|
|
}
|