#ifndef _ASM_LGUEST_DEVICE_H #define _ASM_LGUEST_DEVICE_H /* Everything you need to know about lguest devices. */ #include <linux/device.h> #include <linux/lguest.h> #include <linux/lguest_launcher.h> struct lguest_device { /* Unique busid, and index into lguest_page->devices[] */ unsigned int index; struct device dev; /* Driver can hang data off here. */ void *private; }; /*D:380 Since interrupt numbers are arbitrary, we use a convention: each device * can use the interrupt number corresponding to its index. The +1 is because * interrupt 0 is not usable (it's actually the timer interrupt). */ static inline int lgdev_irq(const struct lguest_device *dev) { return dev->index + 1; } /*:*/ /* dma args must not be vmalloced! */ void lguest_send_dma(unsigned long key, struct lguest_dma *dma); int lguest_bind_dma(unsigned long key, struct lguest_dma *dmas, unsigned int num, u8 irq); void lguest_unbind_dma(unsigned long key, struct lguest_dma *dmas); /* Map the virtual device space */ void *lguest_map(unsigned long phys_addr, unsigned long pages); void lguest_unmap(void *); struct lguest_driver { const char *name; struct module *owner; u16 device_type; int (*probe)(struct lguest_device *dev); void (*remove)(struct lguest_device *dev); struct device_driver drv; }; extern int register_lguest_driver(struct lguest_driver *drv); extern void unregister_lguest_driver(struct lguest_driver *drv); extern struct lguest_device_desc *lguest_devices; /* Just past max_pfn */ #endif /* _ASM_LGUEST_DEVICE_H */