trace_kvm_entry  8233 arch/x86/kvm/x86.c 	trace_kvm_entry(vcpu->vcpu_id);
trace_kvm_entry   781 virt/kvm/arm/arm.c 		trace_kvm_entry(*vcpu_pc(vcpu));