1.1 --- a/server/src/fs_directory.cc	Thu Jun 27 16:48:39 2019 +0200
     1.2 +++ b/server/src/fs_directory.cc	Thu Jun 27 18:45:26 2019 +0200
     1.3 @@ -82,7 +82,7 @@
     1.4        break;
     1.5  
     1.6      default:
     1.7 -      send_error(msg, -L4_EBADPROTO);
     1.8 +      ipc_message_send_error(msg, -L4_EBADPROTO);
     1.9        break;
    1.10    }
    1.11  }
    1.12 @@ -102,7 +102,7 @@
    1.13  
    1.14    if (ext2fs_dir_iterate(_fs, _dir, 0, 0, read_proc, this))
    1.15    {
    1.16 -    send_error(msg, -L4_EIO);
    1.17 +    ipc_message_send_error(msg, -L4_EIO);
    1.18      return;
    1.19    }
    1.20  

     2.1 --- a/server/src/fs_server.cc	Thu Jun 27 16:48:39 2019 +0200
     2.2 +++ b/server/src/fs_server.cc	Thu Jun 27 18:45:26 2019 +0200
     2.3 @@ -50,7 +50,7 @@
     2.4        break;
     2.5  
     2.6      default:
     2.7 -      send_error(msg, -L4_EBADPROTO);
     2.8 +      ipc_message_send_error(msg, -L4_EBADPROTO);
     2.9        break;
    2.10    }
    2.11  }
    2.12 @@ -61,7 +61,7 @@
    2.13  
    2.14    if (op != Fs_op_getuserfs)
    2.15    {
    2.16 -    send_error(msg, -L4_EINVAL);
    2.17 +    ipc_message_send_error(msg, -L4_EINVAL);
    2.18      return;
    2.19    }
    2.20  
    2.21 @@ -102,7 +102,7 @@
    2.22    err = create_irq(&irq);
    2.23    if (err)
    2.24    {
    2.25 -    send_error(msg, err);
    2.26 +    ipc_message_send_error(msg, err);
    2.27      return;
    2.28    }
    2.29  

     3.1 --- a/server/src/fs_user_server.cc	Thu Jun 27 16:48:39 2019 +0200
     3.2 +++ b/server/src/fs_user_server.cc	Thu Jun 27 18:45:26 2019 +0200
     3.3 @@ -59,7 +59,7 @@
     3.4        break;
     3.5  
     3.6      default:
     3.7 -      send_error(msg, -L4_EBADPROTO);
     3.8 +      ipc_message_send_error(msg, -L4_EBADPROTO);
     3.9        break;
    3.10    }
    3.11  }
    3.12 @@ -193,7 +193,7 @@
    3.13    err = fsdesc_import_dataspace(msg, 0, &fsobj) || fsdesc_import_irq(msg, 1, &fsobj);
    3.14    if (err)
    3.15    {
    3.16 -    send_error(msg, -L4_EIO);
    3.17 +    ipc_message_send_error(msg, -L4_EIO);
    3.18      return;
    3.19    }
    3.20  
    3.21 @@ -207,7 +207,7 @@
    3.22    err = _find(path, flags, &ext2flags, &ino_file);
    3.23    if (err)
    3.24    {
    3.25 -    send_error(msg, err);
    3.26 +    ipc_message_send_error(msg, err);
    3.27      return;
    3.28    }
    3.29  
    3.30 @@ -218,7 +218,7 @@
    3.31    err = create_irq(&irq);
    3.32    if (err)
    3.33    {
    3.34 -    send_error(msg, err);
    3.35 +    ipc_message_send_error(msg, err);
    3.36      return;
    3.37    }
    3.38  
    3.39 @@ -232,7 +232,7 @@
    3.40  
    3.41      if (ext2fs_file_open(_fs, ino_file, ext2flags, &file))
    3.42      {
    3.43 -      send_error(msg, -L4_EIO);
    3.44 +      ipc_message_send_error(msg, -L4_EIO);
    3.45        return;
    3.46      }
    3.47  
    3.48 @@ -240,7 +240,7 @@
    3.49  
    3.50      if (ext2fs_read_inode(_fs, ino_file, &inode_file))
    3.51      {
    3.52 -      send_error(msg, -L4_EIO);
    3.53 +      ipc_message_send_error(msg, -L4_EIO);
    3.54        return;
    3.55      }
    3.56  
    3.57 @@ -275,7 +275,7 @@
    3.58  
    3.59    else
    3.60    {
    3.61 -    send_error(msg, -L4_EIO);
    3.62 +    ipc_message_send_error(msg, -L4_EIO);
    3.63      return;
    3.64    }
    3.65