|
@@ -352,14 +352,6 @@ static inline u32 inst_get_field(u32 inst, int msb, int lsb)
|
|
|
return kvmppc_get_field(inst, msb + 32, lsb + 32);
|
|
|
}
|
|
|
|
|
|
-/*
|
|
|
- * Replaces inst bits with ordering according to spec.
|
|
|
- */
|
|
|
-static inline u32 inst_set_field(u32 inst, int msb, int lsb, int value)
|
|
|
-{
|
|
|
- return kvmppc_set_field(inst, msb + 32, lsb + 32, value);
|
|
|
-}
|
|
|
-
|
|
|
bool kvmppc_inst_is_paired_single(struct kvm_vcpu *vcpu, u32 inst)
|
|
|
{
|
|
|
if (!(vcpu->arch.hflags & BOOK3S_HFLAG_PAIRED_SINGLE))
|