28 |
* SUCH DAMAGE. |
* SUCH DAMAGE. |
29 |
* |
* |
30 |
* |
* |
31 |
* $Id: device.h,v 1.20 2006/12/30 13:31:00 debug Exp $ |
* $Id: device.h,v 1.21 2007/06/05 07:49:42 debug Exp $ |
32 |
* |
* |
33 |
* Device registry. (See device.c for more info.) |
* Device registry. (See device.c for more info.) |
34 |
*/ |
*/ |
35 |
|
|
36 |
#include "misc.h" |
#include "misc.h" |
|
#include "bus_pci.h" |
|
37 |
|
|
38 |
struct machine; |
struct machine; |
39 |
|
struct pci_device; |
40 |
|
|
41 |
|
|
42 |
struct devinit { |
struct devinit { |
43 |
struct machine *machine; |
struct machine *machine; |
44 |
|
|
45 |
char *name; /* e.g. "cons" */ |
char *name; /* e.g. "cons" */ |
46 |
char *name2; /* e.g. "secondary serial port" */ |
char *name2; /* e.g. "secondary serial port" */ |
47 |
|
|
49 |
uint64_t addr2; /* Secondary address (optional) */ |
uint64_t addr2; /* Secondary address (optional) */ |
50 |
uint64_t len; |
uint64_t len; |
51 |
|
|
52 |
/* Old-style IRQ: */ |
char *interrupt_path; |
|
int irq_nr; |
|
|
|
|
|
char *interrupt_path;/* Interrupt path: */ |
|
53 |
|
|
54 |
int in_use; |
int in_use; |
55 |
int addr_mult; |
int addr_mult; |