ppc_msgsync 48 arch/powerpc/include/asm/dbell.h static inline void ppc_msgsync(void) ppc_msgsync 84 arch/powerpc/include/asm/dbell.h static inline void ppc_msgsync(void)