ifx_spi_free_device 1215 drivers/tty/serial/ifx6x60.c ifx_spi_free_device(ifx_dev); ifx_spi_free_device 1247 drivers/tty/serial/ifx6x60.c ifx_spi_free_device(ifx_dev);