Shadow-paging event callbacks

[palacios.git] / linux_module / palacios.h

diff --git a/linux_module/palacios.h b/linux_module/palacios.h
index 9bee6c9..43ffa57 100644 (file)
--- a/linux_module/palacios.h
+++ b/linux_module/palacios.h
@@ -107,6 +107,7 @@ void  palacios_print(const char *fmt, ...);
 void *palacios_allocate_pages(int num_pages, unsigned int alignment);
 void  palacios_free_pages(void *page_addr, int num_pages);
 void *palacios_alloc(unsigned int size);
+void *palacios_alloc_extended(unsigned int size, unsigned int flags);
 void  palacios_free(void *);
 void *palacios_vaddr_to_paddr(void *vaddr);
 void *palacios_paddr_to_vaddr(void *paddr);