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);