Searched refs:ppc_msgsnd (Results 1 – 3 of 3) sorted by relevance
34 ppc_msgsnd(PPC_DBELL_MSGTYPE, 0, data); in doorbell_cause_ipi()
65 static inline void ppc_msgsnd(enum ppc_dbell type, u32 flags, u32 tag) in ppc_msgsnd() function
54 ppc_msgsnd(dbell_type, 0, tag); in kvmppc_set_pending_interrupt()