TCO_DRIVER_NAME
.name = TCO_DRIVER_NAME,
platform_device_register_simple(TCO_DRIVER_NAME, -1, NULL, 0);