kvm_s390_set_prefix(vcpu, address);
VCPU_EVENT(vcpu, 5, "setting prefix to %x", address);
kvm_s390_set_prefix(vcpu, address);
VCPU_EVENT(vcpu, 5, "setting prefix to %x", address);
}
VCPU_EVENT(vcpu, 5, "storing prefix to %x", address);
}
VCPU_EVENT(vcpu, 5, "storing prefix to %x", address);
}
VCPU_EVENT(vcpu, 5, "storing cpu address to %llx", useraddr);
}
VCPU_EVENT(vcpu, 5, "storing cpu address to %llx", useraddr);
&facility_list, sizeof(facility_list));
if (rc == -EFAULT)
kvm_s390_inject_program_int(vcpu, PGM_ADDRESSING);
&facility_list, sizeof(facility_list));
if (rc == -EFAULT)
kvm_s390_inject_program_int(vcpu, PGM_ADDRESSING);
VCPU_EVENT(vcpu, 5, "store facility list value %x",
facility_list);
VCPU_EVENT(vcpu, 5, "store facility list value %x",
facility_list);