/* Set the target cores to receive the specified common interrupt when it is triggered  */
void z_arc_connect_idu_set_dest(uint32_t irq_num, uint32_t core_mask)
/* Set the target cores to receive the specified common interrupt when it is triggered  */
void z_arc_connect_idu_set_dest(uint32_t irq_num, uint32_t core_mask)
{
	K_SPINLOCK(&arc_connect_spinlock) {
		z_arc_connect_cmd_data(ARC_CONNECT_CMD_IDU_SET_DEST,
			irq_num, core_mask);
	}
}