kvm_lapic_set_tpr
void kvm_lapic_set_tpr(struct kvm_vcpu *vcpu, unsigned long cr8);
kvm_lapic_set_tpr(vcpu, cr8);