criu: page-pipe: introduce page_pipe_destroy_ppb

Signed-off-by: Mike Rapoport <[email protected]> Signed-off-by: Pavel Emelyanov <[email protected]>
avagin · Oct 17, 2016 · c7c6751 · c7c6751
1 parent 316b613
commit c7c6751
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/criu/include/page-pipe.h b/criu/include/page-pipe.h
@@ -112,4 +112,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__ */
diff --git a/criu/page-pipe.c b/criu/page-pipe.c
@@ -440,6 +440,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;