Searched refs:icp_send_hcore_msg (Results 1 – 1 of 1) sorted by relevance
54 static inline void icp_send_hcore_msg(int hcore, struct kvm_vcpu *vcpu) in icp_send_hcore_msg() function66 static inline void icp_send_hcore_msg(int hcore, struct kvm_vcpu *vcpu) { } in icp_send_hcore_msg() function155 icp_send_hcore_msg(hcore, vcpu); in icp_rm_set_vcpu_irq()