index 66aa3144c9c0b40be937c2833bd6ce456c997447..29849fa66392d4b06b94790de8491bf89a70aa02 100755 (executable)
hil_set_vring_ipi(proc, 0,
IPI_IRQ_VECT_ID, (void *)&chn_ipi_info[0]);
hil_set_vring_ipi(proc, 1,
- IPI_IRQ_VECT_ID, (void *)&chn_ipi_info[1]);
+ IPI_IRQ_VECT_ID, (void *)&chn_ipi_info[0]);
hil_set_rpmsg_channel(proc, 0, RPMSG_CHAN_NAME);
return proc;