static char options[64]; 
static char options[64], *p = options; 
setup_serial_console(struct pcdp_uart *uart){#ifdef CONFIG_SERIAL_8250_CONSOLE	int mmio;	static char options[64];	mmio = (uart->addr.address_space_id == ACPI_ADR_SPACE_SYSTEM_MEMORY);	snprintf(options, sizeof(options), "console=uart,%s,0x%lx,%lun%d",		mmio ? "mmio" : "io", uart->addr.address, uart->baud,		uart->bits ? uart->bits : 8);	return early_serial_console_init(options);#else	return -ENODEV;#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/280dedb8d64ccfe1166ae03d3b254fc3b65de6a5/pcdp.c/clean/drivers/firmware/pcdp.c