ifx_spi_free_port  845 drivers/tty/serial/ifx6x60.c 	ifx_spi_free_port(ifx_dev);
ifx_spi_free_port  930 drivers/tty/serial/ifx6x60.c 	ifx_spi_free_port(ifx_dev);