Changes in kernel/generic/src/udebug/udebug_ipc.c [7f11dc6:b7fd2a0] in mainline

File:

• kernel/generic/src/udebug/udebug_ipc.c (modified) (10 diffs)

kernel/generic/src/udebug/udebug_ipc.c

@@ -51 +51 @@
 #include <udebug/udebug_ipc.h>
 
-int udebug_request_preprocess(call_t *call, phone_t *phone)
+errno_t udebug_request_preprocess(call_t *call, phone_t *phone)
 {
         switch (IPC_GET_ARG1(call->data)) {
@@ -71 +71 @@
 static void udebug_receive_begin(call_t *call)
 {
-        int rc;
+        errno_t rc;
         bool active;
 
@@ -98 +98 @@
 static void udebug_receive_end(call_t *call)
 {
-        int rc;
+        errno_t rc;
 
         rc = udebug_end();
@@ -113 +113 @@
 static void udebug_receive_set_evmask(call_t *call)
 {
-        int rc;
+        errno_t rc;
         udebug_evmask_t mask;
 
@@ -132 +132 @@
 {
         thread_t *t;
-        int rc;
+        errno_t rc;
 
         t = (thread_t *)IPC_GET_ARG2(call->data);
@@ -152 +152 @@
 {
         thread_t *t;
-        int rc;
+        errno_t rc;
 
         t = (thread_t *)IPC_GET_ARG2(call->data);
@@ -172 +172 @@
         void *buffer;
         size_t copied, needed;
-        int rc;
+        errno_t rc;
 
         uspace_addr = IPC_GET_ARG2(call->data); /* Destination address */
@@ -307 +307 @@
         thread_t *t;
         sysarg_t uspace_addr;
-        int rc;
+        errno_t rc;
         void *buffer;
 
@@ -346 +346 @@
         sysarg_t to_copy;
         void *buffer = NULL;
-        int rc;
+        errno_t rc;
 
         t = (thread_t *) IPC_GET_ARG2(call->data);
@@ -390 +390 @@
         unsigned size;
         void *buffer = NULL;
-        int rc;
+        errno_t rc;
 
         uspace_dst = IPC_GET_ARG2(call->data);