/* Free hardware specific device data This will be called by "gigaset_freecs" in common.c  */
static void gigaset_freecshw(struct cardstate *cs)
/* Free hardware specific device data This will be called by "gigaset_freecs" in common.c  */
static void gigaset_freecshw(struct cardstate *cs)
{
	tasklet_kill(&cs->write_tasklet);
	if (!cs->hw.ser)
		return;
	dev_set_drvdata(&cs->hw.ser->dev.dev, NULL);
	platform_device_unregister(&cs->hw.ser->dev);
	kfree(cs->hw.ser);
	cs->hw.ser = NULL;
}