kvm_lapic_get_cr8   75 arch/x86/kvm/lapic.h u64 kvm_lapic_get_cr8(struct kvm_vcpu *vcpu);
kvm_lapic_get_cr8 1062 arch/x86/kvm/x86.c 		return kvm_lapic_get_cr8(vcpu);
kvm_lapic_get_cr8 7567 arch/x86/kvm/x86.c 	tpr = kvm_lapic_get_cr8(vcpu);