static void smp_iSeries_message_pass(int target, int msg, unsigned long data, int wait) { int i; for (i = 0; i < smp_num_cpus; ++i) { if ( (target == MSG_ALL) || (target == i) || ((target == MSG_ALL_BUT_SELF) && (i != smp_processor_id())) ) { set_bit( msg, &iSeries_smp_message[i] ); HvCall_sendIPI(&(paca[i])); } } }
static inline void smp_iSeries_do_message(int cpu, int msg) { set_bit(msg, &iSeries_smp_message[cpu]); HvCall_sendIPI(&(paca[cpu])); }
static void smp_iSeries_cause_ipi(int cpu, unsigned long data) { HvCall_sendIPI(&(paca[cpu])); }