/* Must be called once for every cpu that expects to send/recv ipis */