serial8250_release_std_resource 2838 drivers/tty/serial/8250/8250_port.c 	serial8250_release_std_resource(up);
serial8250_release_std_resource 3017 drivers/tty/serial/8250/8250_port.c 		serial8250_release_std_resource(up);