criu: page-pipe: introduce page_pipe_destroy_ppb

Signed-off-by: Mike Rapoport <rppt@linux.vnet.ibm.com>
Signed-off-by: Pavel Emelyanov <xemul@virtuozzo.com>

criu/include/page-pipe.h

@@ -132,4 +132,6 @@ void page_pipe_reinit(struct page_pipe *pp);
 extern int page_pipe_split(struct page_pipe *pp, unsigned long addr,
 			   unsigned int *nr_pages);
 
+extern void page_pipe_destroy_ppb(struct page_pipe_buf *ppb);
+
 #endif /* __CR_PAGE_PIPE_H__ */

criu/page-pipe.c

@@ -445,6 +445,12 @@ int page_pipe_split(struct page_pipe *pp, unsigned long addr,
 	return 0;
 }
 
+void page_pipe_destroy_ppb(struct page_pipe_buf *ppb)
+{
+	list_del(&ppb->l);
+	ppb_destroy(ppb);
+}
+
 void debug_show_page_pipe(struct page_pipe *pp)
 {
 	struct page_pipe_buf *ppb;