#ifndef _PLATFORMS_ISERIES_SMP_H
#define _PLATFORMS_ISERIES_SMP_H

extern void iSeries_smp_message_recv(void);

#endif	/* _PLATFORMS_ISERIES_SMP_H */