kvm_init_pvm_id_regs
void kvm_init_pvm_id_regs(struct kvm_vcpu *vcpu);
kvm_init_pvm_id_regs(&hyp_vcpu->vcpu);