1.1 --- a/libfsserver/lib/pipes/pipe_opener_resource.cc Tue May 18 23:58:19 2021 +0200
1.2 +++ b/libfsserver/lib/pipes/pipe_opener_resource.cc Wed May 19 00:01:41 2021 +0200
1.3 @@ -19,8 +19,6 @@
1.4 * Boston, MA 02110-1301, USA
1.5 */
1.6
1.7 -#include <mem/memory_incremental.h>
1.8 -
1.9 #include "pipe_opener_resource.h"
1.10 #include "pipe_opener_server.h"
1.11 #include "pipe_pager.h"
2.1 --- a/libfsserver/lib/pipes/pipe_paging.cc Tue May 18 23:58:19 2021 +0200
2.2 +++ b/libfsserver/lib/pipes/pipe_paging.cc Wed May 19 00:01:41 2021 +0200
2.3 @@ -23,7 +23,6 @@
2.4
2.5 #include <ipc/cap_alloc.h>
2.6 #include <ipc/irq.h>
2.7 -#include <mem/memory_incremental.h>
2.8 #include <mem/memory_preallocated.h>
2.9
2.10 #include "page_queue_partitioned.h"