Home
last modified time | relevance | path

Searched refs:TCO_DEVICE_NAME (Results 1 – 1 of 1) sorted by relevance

/linux-4.4.14/drivers/platform/x86/
Dintel_pmc_ipc.c81 #define TCO_DEVICE_NAME "iTCO_wdt" macro
529 pdev = platform_device_alloc(TCO_DEVICE_NAME, -1); in ipc_create_tco_device()