#include "palacios.h"


int add_mod_cmd(struct v3_guest * guest, unsigned int cmd, 
		int (*handler)(struct v3_guest * guest, 
			       unsigned int cmd, unsigned long arg));


struct linux_ext {
    char * name;
    int (*init)( void );
    int (*deinit)( void );
    int (*guest_init)(struct v3_guest * guest, void ** priv_data);
    int (*guest_deinit)(struct v3_guest * guest, void * priv_data);
};



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"),		\
		       aligned(sizeof(void *))))		\
	= ext;