| Line 387... |
Line 387... |
void gpio_base_vapi_id ();
|
void gpio_base_vapi_id ();
|
void vga_nvgas ();
|
void vga_nvgas ();
|
void vga_baseaddr ();
|
void vga_baseaddr ();
|
void vga_irq ();
|
void vga_irq ();
|
void vga_refresh_rate ();
|
void vga_refresh_rate ();
|
void vga_filename ();
|
//void vga_filename ();
|
void vga_bufaddr ();
|
void vga_bufaddr ();
|
void vga_paladdr ();
|
void vga_paladdr ();
|
void vga_refresh_rate ();
|
void vga_refresh_rate ();
|
void vga_filename ();
|
void vga_filename ();
|
|
void ata_natas ();
|
|
void ata_baseaddr ();
|
|
void ata_irq ();
|
|
void ata_dev_type0 ();
|
|
void ata_dev_file0 ();
|
|
void ata_dev_size0 ();
|
|
void ata_dev_packet0 ();
|
|
void ata_dev_type1 ();
|
|
void ata_dev_file1 ();
|
|
void ata_dev_size1 ();
|
|
void ata_dev_packet1 ();
|
void immu_enabled ();
|
void immu_enabled ();
|
void immu_nsets ();
|
void immu_nsets ();
|
void immu_nways ();
|
void immu_nways ();
|
void immu_pagesize ();
|
void immu_pagesize ();
|
void immu_entrysize ();
|
void immu_entrysize ();
|
| Line 444... |
Line 455... |
{"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 */
|
{"kbd", 0}, /* 20 */
|
|
{"ata", 0}
|
};
|
};
|
|
|
/* *INDENT-OFF* */
|
/* *INDENT-OFF* */
|
|
|
/* Parameter definitions */
|
/* Parameter definitions */
|
| Line 616... |
Line 628... |
{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, "enabled", "=%i", NULL, (void *)(&config.kbd.enabled), 0},
|
{20, "baseaddr", "=0x%x", NULL, (void *)(&config.kbd.baseaddr), 0},
|
{20, "baseaddr", "=0x%x", NULL, (void *)(&config.kbd.baseaddr), 0},
|
{20, "irq", "=%i", NULL, (void *)(&config.kbd.irq), 0},
|
{20, "irq", "=%i", NULL, (void *)(&config.kbd.irq), 0},
|
{20, "rxfile", "=\"%s\"", NULL, (void *)(&config.kbd.rxfile), 0}
|
{20, "rxfile", "=\"%s\"", NULL, (void *)(&config.kbd.rxfile), 0},
|
|
|
|
{21, "natas", "=%i", ata_natas, (void *)(&tempL ), CPF_GLOBAL},
|
|
{21, "device", "%i", change_device, (void *)(&tempL ), 0},
|
|
{21, "baseaddr", "=0x%x", ata_baseaddr, (void *)(&tempUL), 0},
|
|
{21, "irq", "=%i", ata_irq, (void *)(&tempL ), 0},
|
|
{21, "dev_type0", "=%i", ata_dev_type0, (void *)(&tempL ), 0},
|
|
{21, "dev_file0", "=\"%s\"", ata_dev_file0, (void *)(&tempS ), 0},
|
|
{21, "dev_size0", "=%i", ata_dev_size0, (void *)(&tempUL), 0},
|
|
{21, "dev_packet0", "=%i", ata_dev_packet0, (void *)(&tempL ), 0},
|
|
{21, "dev_type1", "=%i", ata_dev_type1, (void *)(&tempL ), 0},
|
|
{21, "dev_file1", "=\"%s\"", ata_dev_file1, (void *)(&tempS ), 0},
|
|
{21, "dev_size1", "=%i", ata_dev_size1, (void *)(&tempUL), 0},
|
|
{21, "dev_packet1", "=%i", ata_dev_packet1, (void *)(&tempL ), 0},
|
|
{21, "enddevice", "", end_device, NULL, 0},
|
};
|
};
|
|
|
/* *INDENT-ON* */
|
/* *INDENT-ON* */
|
|
|
int current_device = -1;
|
int current_device = -1;
|
| Line 1137... |
Line 1163... |
strcpy (config.vgas[current_device].filename, tempS);
|
strcpy (config.vgas[current_device].filename, tempS);
|
else
|
else
|
ERROR("invalid device number.");
|
ERROR("invalid device number.");
|
}
|
}
|
|
|
|
|
|
void ata_natas () {
|
|
if (tempL >= 0 && tempL < MAX_ATAS)
|
|
config.natas = tempL;
|
|
else
|
|
ERROR("invalid number of devices.");
|
|
}
|
|
|
|
void ata_baseaddr () {
|
|
if (current_device >= 0 && current_device < config.natas)
|
|
config.atas[current_device].baseaddr = tempUL;
|
|
else
|
|
ERROR("invalid device number.");
|
|
}
|
|
|
|
void ata_irq () {
|
|
if (current_device >= 0 && current_device < config.natas)
|
|
config.atas[current_device].irq = tempL;
|
|
else
|
|
ERROR("invalid device number.");
|
|
}
|
|
|
|
void ata_dev_type0 () {
|
|
if (current_device >= 0 && current_device < config.natas)
|
|
config.atas[current_device].dev_type0 = tempL;
|
|
else
|
|
ERROR("invalid device number.");
|
|
}
|
|
|
|
void ata_dev_file0 () {
|
|
if (current_device >= 0 && current_device < config.natas)
|
|
strcpy (config.atas[current_device].dev_file0, tempS);
|
|
else
|
|
ERROR("invalid device number.");
|
|
}
|
|
|
|
void ata_dev_size0 () {
|
|
if (current_device >= 0 && current_device < config.natas)
|
|
config.atas[current_device].dev_size0 = tempUL;
|
|
else
|
|
ERROR("invalid device number.");
|
|
}
|
|
|
|
void ata_dev_packet0 () {
|
|
if (current_device >= 0 && current_device < config.natas)
|
|
config.atas[current_device].dev_packet0 = tempL;
|
|
else
|
|
ERROR("invalid device number.");
|
|
}
|
|
|
|
void ata_dev_type1 () {
|
|
if (current_device >= 0 && current_device < config.natas)
|
|
config.atas[current_device].dev_type1 = tempL;
|
|
else
|
|
ERROR("invalid device number.");
|
|
}
|
|
|
|
void ata_dev_file1 () {
|
|
if (current_device >= 0 && current_device < config.natas)
|
|
strcpy (config.atas[current_device].dev_file1, tempS);
|
|
else
|
|
ERROR("invalid device number.");
|
|
}
|
|
|
|
void ata_dev_size1 () {
|
|
if (current_device >= 0 && current_device < config.natas)
|
|
config.atas[current_device].dev_size1 = tempUL;
|
|
else
|
|
ERROR("invalid device number.");
|
|
}
|
|
|
|
void ata_dev_packet1 () {
|
|
if (current_device >= 0 && current_device < config.natas)
|
|
config.atas[current_device].dev_packet1 = tempL;
|
|
else
|
|
ERROR("invalid device number.");
|
|
}
|
|
|
|
|
/* Read environment from a script file. Does not fail - assumes default configuration instead.
|
/* Read environment from a script file. Does not fail - assumes default configuration instead.
|
The syntax of script file is:
|
The syntax of script file is:
|
param = value
|
param = value
|
section x
|
section x
|
data
|
data
|
