Searched refs:ppc_msgsnd (Results 1 – 2 of 2) sorted by relevance
94 static inline void ppc_msgsnd(enum ppc_dbell type, u32 flags, u32 tag) in ppc_msgsnd() function122 ppc_msgsnd(PPC_DBELL_MSGTYPE, 0, tag); in doorbell_global_ipi()137 ppc_msgsnd(PPC_DBELL_MSGTYPE, 0, tag); in doorbell_core_ipi()
51 ppc_msgsnd(dbell_type, 0, tag); in kvmppc_set_pending_interrupt()