ref(core/remio): test REMIO_DEV_FRONTEND explicitly

joaopeixoto13 · joaopeixoto13 · commit f6b868da35fd · 2024-09-21T09:34:06.000+01:00
Signed-off-by: João Peixoto &lt;joaopeixotooficial@gmail.com&gt;
diff --git a/src/core/remio.c b/src/core/remio.c
@@ -456,11 +456,14 @@ void remio_init(void)
                 device->config.backend.vm_id = vm_id;
                 device->config.backend.interrupt = dev->interrupt;
                 device->config.backend.cpu_id = (cpuid_t)-1;
-            } else {
+            } else if (dev->type == REMIO_DEV_FRONTEND) {
                 device->config.frontend.vm_id = vm_id;
                 device->config.frontend.interrupt = dev->interrupt;
                 device->config.frontend.cpu_id = (cpuid_t)-1;
             }
+            else {
+                ERROR("Unknown Remote I/O device type");
+            }
         }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -456,11 +456,14 @@ void remio_init(void)`
`456`	`456`	`device->config.backend.vm_id = vm_id;`
`457`	`457`	`device->config.backend.interrupt = dev->interrupt;`
`458`	`458`	`device->config.backend.cpu_id = (cpuid_t)-1;`
`459`		`- } else {`
	`459`	`+ } else if (dev->type == REMIO_DEV_FRONTEND) {`
`460`	`460`	`device->config.frontend.vm_id = vm_id;`
`461`	`461`	`device->config.frontend.interrupt = dev->interrupt;`
`462`	`462`	`device->config.frontend.cpu_id = (cpuid_t)-1;`
`463`	`463`	`}`
	`464`	`+ else {`
	`465`	`+ ERROR("Unknown Remote I/O device type");`
	`466`	`+ }`
`464`	`467`	`}`
`465`	`468`	`}`
`466`	`469`