__vcpu_load_switch_sysregs
void __vcpu_load_switch_sysregs(struct kvm_vcpu *vcpu);
__vcpu_load_switch_sysregs(vcpu);