X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios.h;h=99ef5efd3e02c821084fe4bc3c01625aab13d317;hb=ea744834e3c756db65cdc211be929891cecafe09;hp=b80663ace4739c2d326a616cbfb65c7aeaab6027;hpb=a80196a40e35de0efc20efb3e9466d348d5fd28c;p=palacios.releases.git

diff --git a/linux_module/palacios.h b/linux_module/palacios.h
index b80663a..99ef5ef 100644
--- a/linux_module/palacios.h
+++ b/linux_module/palacios.h
@@ -114,7 +114,7 @@ struct v3_guest {
 
 
 
-int palacios_vmm_init( void );
+int palacios_vmm_init( char *options );
 int palacios_vmm_exit( void );
 
 
@@ -123,7 +123,8 @@ struct proc_dir_entry *palacios_get_procdir(void);
 
 // Selected exported stubs, for use in other palacios components, like vnet
 // The idea is that everything uses the same stubs
-void  palacios_print(const char *fmt, ...);
+void  palacios_print_scoped(void *vm, int vcore, const char *fmt, ...);
+#define palacios_print(...) palacios_print_scoped(0,-1, __VA_ARGS__)
 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);