#ifndef _LINUX_MODULE_H
#define _LINUX_MODULE_H

#include <vmm_modules.h>

#define KBUILD_MODNAME			VMM_MODNAME

#define EXPORT_SYMBOL(sym)		VMM_EXPORT_SYMBOL(sym)
#define EXPORT_SYMBOL_GPL(sym)		VMM_EXPORT_SYMBOL_GPL(sym)

#define __user

#define MODULE_DEVICE_TABLE(p1,p2)

#define module_param_named(p1,p2,p3,p4)
#define MODULE_PARM_DESC(p1,p2)

/* FIXME: This file is just a place holder in most cases. */

#endif /* _LINUX_MODULE_H */
