trace_kvm_wfx_arm64   93 arch/arm64/kvm/handle_exit.c 		trace_kvm_wfx_arm64(*vcpu_pc(vcpu), true);
trace_kvm_wfx_arm64   97 arch/arm64/kvm/handle_exit.c 		trace_kvm_wfx_arm64(*vcpu_pc(vcpu), false);