ref(core/remio): renamed abs_remio_dev_id to remio_dev_id

Signed-off-by: João Peixoto <[email protected]>

Author: joaopeixoto13

src/core/remio.c

@@ -579,11 +579,11 @@ long int remio_hypercall(unsigned long arg0, unsigned long arg1, unsigned long a
         return -HC_E_FAILURE;
     }
 
-    /** Get the absolute Remote I/O device ID based on the virtual Remote I/O device ID */
-    unsigned long abs_remio_dev_id = vm->remio_devs[virt_remio_dev_id].id;
+    /** Get the Remote I/O device ID based on the virtual Remote I/O device ID */
+    unsigned long remio_dev_id = vm->remio_devs[virt_remio_dev_id].id;
 
     /** Find the Remote I/O device associated with the current backend VM */
-    device = remio_find_vm_dev_by_id(vm, abs_remio_dev_id);
+    device = remio_find_vm_dev_by_id(vm, remio_dev_id);
     if (device == NULL) {
         ERROR("The Remote I/O backend device (%d) is not associated with the current backend VM "
               "(%d)",
@@ -599,7 +599,7 @@ long int remio_hypercall(unsigned long arg0, unsigned long arg1, unsigned long a
             } else {
                 /** Send a CPU message to the backend VM to execute the post work */
                 remio_cpu_send_msg(op == REMIO_HYP_WRITE ? REMIO_CPU_MSG_WRITE : REMIO_CPU_MSG_READ,
-                    cpu_id, abs_remio_dev_id, cpu_id, vcpu_id, 0);
+                    cpu_id, remio_dev_id, cpu_id, vcpu_id, 0);
             }
             break;
         case REMIO_HYP_ASK: