Merge branch 'devel' of newskysaw.cs.northwestern.edu:/home/palacios/palacios into...

[palacios.git] / linux_module / linux-exts.h

diff --git a/linux_module/linux-exts.h b/linux_module/linux-exts.h
index 72e4800..c5aeea1 100644 (file)
--- a/linux_module/linux-exts.h
+++ b/linux_module/linux-exts.h
@@ -12,18 +12,23 @@ struct linux_ext {
     int (*deinit)( void );
     int (*guest_init)(struct v3_guest * guest, void ** priv_data);
     int (*guest_deinit)(struct v3_guest * guest, void * priv_data);
-} __attribute__((packed));
+};
 
 
 
 int init_lnx_extensions( void );
 int deinit_lnx_extensions( void );
 
+int init_vm_extensions(struct v3_guest * guest);
+int deinit_vm_extensions(struct v3_guest * guest);
+
+void * get_vm_ext_data(struct v3_guest * guest, char * ext_name);
+
 
 
 #define register_extension(ext)                                        \
     static struct linux_ext * _lnx_ext                         \
     __attribute__((used))                                      \
-       __attribute__((unused, __section("_lnx_exts"),  \
+       __attribute__((unused, __section__("_lnx_exts"),                \
                       aligned(sizeof(void *))))                \
        = ext;