[CRIU] [PATCH v4 04/12] criu: page-pipe: introduce page_pipe_destroy_ppb

[Mike Rapoport]

Signed-off-by: Mike Rapoport <rppt at linux.vnet.ibm.com>
---
 criu/include/page-pipe.h | 2 ++
 criu/page-pipe.c         | 6 ++++++
 2 files changed, 8 insertions(+)

diff --git a/criu/include/page-pipe.h b/criu/include/page-pipe.h
index a18db62..696dc9f 100644
--- a/criu/include/page-pipe.h
+++ b/criu/include/page-pipe.h
@@ -110,4 +110,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
index 3486468..5faf155 100644
--- a/criu/page-pipe.c
+++ b/criu/page-pipe.c
@@ -423,6 +423,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;
-- 
1.9.1