libfsserver/lib/generic/simple_pager.cc | raw changeset files shortlog |
1.1 --- a/libfsserver/lib/generic/simple_pager.cc Tue Mar 28 19:01:14 2023 +0200 1.2 +++ b/libfsserver/lib/generic/simple_pager.cc Wed Mar 29 00:32:20 2023 +0200 1.3 @@ -21,12 +21,12 @@ 1.4 1.5 #include <l4/re/c/dataspace.h> 1.6 1.7 +#include <mem/ipc.h> 1.8 #include <mem/memory_incremental.h> 1.9 1.10 #include <string.h> 1.11 1.12 #include "dataspace_server.h" 1.13 -#include "ipc.h" 1.14 #include "simple_pager.h" 1.15 1.16