rem: if (args->platform_args.serial_base_ports[0] != 0)
add: if (args != NULL && args->platform_args.serial_base_ports[0] != 0)
context: arch_debug_console_init(kernel_args *args){	uint16 divisor = (uint16)(115200 / kSerialBaudRate);	// only use the port if we could find one, else use the standard port	if (args->platform_args.serial_base_ports[0] != 0)		sSerialBasePort = args->platform_args.serial_base_ports[0];	out8(0x80, sSerialBasePort + SERIAL_LINE_CONTROL);	/* set divisor latch access bit */	out8(divisor & 0xf, sSerialBasePort + SERIAL_DIVISOR_LATCH_LOW);	out8(divisor >> 8, sSerialBasePort + SERIAL_DIVISOR_LATCH_HIGH);	out8(3, sSerialBasePort + SERIAL_LINE_CONTROL);		/* 8N1 */	return B_OK;}