trace_kvm_wfx      65 arch/arm/kvm/handle_exit.c 		trace_kvm_wfx(*vcpu_pc(vcpu), true);
trace_kvm_wfx      69 arch/arm/kvm/handle_exit.c 		trace_kvm_wfx(*vcpu_pc(vcpu), false);