28 |
* SUCH DAMAGE. |
* SUCH DAMAGE. |
29 |
* |
* |
30 |
* |
* |
31 |
* $Id: device.h,v 1.7 2005/02/26 16:53:32 debug Exp $ |
* $Id: device.h,v 1.9 2005/08/05 09:11:49 debug Exp $ |
32 |
* |
* |
33 |
* Device registry. (See device.c for more info.) |
* Device registry. (See device.c for more info.) |
34 |
*/ |
*/ |
39 |
|
|
40 |
struct devinit { |
struct devinit { |
41 |
struct machine *machine; |
struct machine *machine; |
42 |
char *name; |
char *name; /* e.g. "cons" */ |
43 |
|
char *name2; /* e.g. "secondary serial port" */ |
44 |
|
|
45 |
uint64_t addr; |
uint64_t addr; /* Device base address */ |
46 |
uint64_t len; |
uint64_t len; |
47 |
int irq_nr; |
int irq_nr; |
48 |
|
int in_use; |
49 |
int addr_mult; |
int addr_mult; |
50 |
|
|
51 |
void *return_ptr; |
void *return_ptr; |