/* These are routines for dealing with the sb1250 smp capabilities independent of board/firmware Simple enough; everything is set up, so just poke the appropriate mailbox register, and we should be set  */
static void sb1250_send_ipi_single(int cpu, unsigned int action)
/* These are routines for dealing with the sb1250 smp capabilities independent of board/firmware Simple enough; everything is set up, so just poke the appropriate mailbox register, and we should be set  */
static void sb1250_send_ipi_single(int cpu, unsigned int action)
{
	__raw_writeq((((u64)action) << 48), mailbox_set_regs[cpu]);
}