IOMD_ID
if (IOMD_ID == RPC600_IOMD_ID)
if (IOMD_ID == RPC600_IOMD_ID) {
switch (IOMD_ID) {
printf("Unknown IOMD id (%d) found in irq_init()\n", IOMD_ID);
switch (IOMD_ID) {
switch (IOMD_ID) {
id = IOMD_ID;
switch (IOMD_ID) {