Line 458... |
Line 458... |
{"dc", 0},
|
{"dc", 0},
|
{"gpio", 0}, /* 15 */
|
{"gpio", 0}, /* 15 */
|
{"bpb", 0},
|
{"bpb", 0},
|
{"pm", 0},
|
{"pm", 0},
|
{"vga", 0},
|
{"vga", 0},
|
{"fb", 0}
|
{"fb", 0},
|
|
{"kbd", 0} /* 20 */
|
};
|
};
|
|
|
/* *INDENT-OFF* */
|
/* *INDENT-OFF* */
|
|
|
/* Parameter definitions */
|
/* Parameter definitions */
|
Line 620... |
Line 621... |
{18, "enddevice", "", end_device, NULL, 0},
|
{18, "enddevice", "", end_device, NULL, 0},
|
|
|
{19, "enabled", "=%i", NULL, (void *)(&config.fb.enabled), 0},
|
{19, "enabled", "=%i", NULL, (void *)(&config.fb.enabled), 0},
|
{19, "baseaddr", "=0x%x", NULL, (void *)(&config.fb.baseaddr), 0},
|
{19, "baseaddr", "=0x%x", NULL, (void *)(&config.fb.baseaddr), 0},
|
{19, "refresh_rate", "=%i", NULL, (void *)(&config.fb.refresh_rate), 0},
|
{19, "refresh_rate", "=%i", NULL, (void *)(&config.fb.refresh_rate), 0},
|
{19, "filename", "=\"%s\"", NULL, (void *)(&config.fb.filename), 0}
|
{19, "filename", "=\"%s\"", NULL, (void *)(&config.fb.filename), 0},
|
|
|
|
{20, "enabled", "=%i", NULL, (void *)(&config.kbd.enabled), 0},
|
|
{20, "baseaddr", "=0x%x", NULL, (void *)(&config.kbd.baseaddr), 0},
|
|
{20, "irq", "=%i", NULL, (void *)(&config.kbd.irq), 0},
|
|
{20, "rxfile", "=\"%s\"", NULL, (void *)(&config.kbd.rxfile), 0}
|
};
|
};
|
|
|
/* *INDENT-ON* */
|
/* *INDENT-ON* */
|
|
|
int current_device = -1;
|
int current_device = -1;
|