1 #ifndef _ASM_LGUEST_DEVICE_H
2 #define _ASM_LGUEST_DEVICE_H
3 /* Everything you need to know about lguest devices. */
4 #include <linux/device.h>
5 #include <linux/lguest.h>
6 #include <linux/lguest_launcher.h>
9 /* Unique busid, and index into lguest_page->devices[] */
14 /* Driver can hang data off here. */
18 /* By convention, each device can use irq index+1 if it wants to. */
19 static inline int lgdev_irq(const struct lguest_device
*dev
)
21 return dev
->index
+ 1;
24 /* dma args must not be vmalloced! */
25 void lguest_send_dma(unsigned long key
, struct lguest_dma
*dma
);
26 int lguest_bind_dma(unsigned long key
, struct lguest_dma
*dmas
,
27 unsigned int num
, u8 irq
);
28 void lguest_unbind_dma(unsigned long key
, struct lguest_dma
*dmas
);
30 /* Map the virtual device space */
31 void *lguest_map(unsigned long phys_addr
, unsigned long pages
);
32 void lguest_unmap(void *);
34 struct lguest_driver
{
38 int (*probe
)(struct lguest_device
*dev
);
39 void (*remove
)(struct lguest_device
*dev
);
41 struct device_driver drv
;
44 extern int register_lguest_driver(struct lguest_driver
*drv
);
45 extern void unregister_lguest_driver(struct lguest_driver
*drv
);
47 extern struct lguest_device_desc
*lguest_devices
; /* Just past max_pfn */
48 #endif /* _ASM_LGUEST_DEVICE_H */