#include <linux/init.h>
#include <linux/kernel.h>
#include <linux/module.h>
#include <linux/device.h>
#include "idxd.h"
int __idxd_driver_register(struct idxd_device_driver *idxd_drv, struct module *owner,
const char *mod_name)
{ … }
EXPORT_SYMBOL_GPL(…);
void idxd_driver_unregister(struct idxd_device_driver *idxd_drv)
{ … }
EXPORT_SYMBOL_GPL(…);
static int idxd_config_bus_match(struct device *dev,
const struct device_driver *drv)
{ … }
static int idxd_config_bus_probe(struct device *dev)
{ … }
static void idxd_config_bus_remove(struct device *dev)
{ … }
static int idxd_bus_uevent(const struct device *dev, struct kobj_uevent_env *env)
{ … }
const struct bus_type dsa_bus_type = …;
EXPORT_SYMBOL_GPL(…);
static int __init dsa_bus_init(void)
{ … }
module_init(…) …;
static void __exit dsa_bus_exit(void)
{ … }
module_exit(dsa_bus_exit);
MODULE_DESCRIPTION(…) …;
MODULE_LICENSE(…) …;