kvm_set_vm_id_reg
void kvm_set_vm_id_reg(struct kvm *kvm, u32 reg, u64 val);
kvm_set_vm_id_reg(vcpu->kvm, id, val);
kvm_set_vm_id_reg(kvm, reg_to_encoding(r), val);
kvm_set_vm_id_reg(kvm, id, reg->reset(vcpu, reg));
kvm_set_vm_id_reg(kvm, SYS_ID_AA64PFR0_EL1, val);
kvm_set_vm_id_reg(kvm, SYS_ID_PFR1_EL1, val);
kvm_set_vm_id_reg(kvm, SYS_ID_AA64PFR0_EL1, aa64pfr0);
kvm_set_vm_id_reg(kvm, SYS_ID_PFR1_EL1, pfr1);