Searched refs:psmc (Results 1 – 1 of 1) sorted by relevance
1355 device_t psmc; local1378 psmc = device_find_child(device_get_parent(parent),1380 if (psmc == NULL)1383 irq = bus_get_resource_start(psmc, SYS_RES_IRQ, 0);1388 bus_delete_resource(psmc, SYS_RES_IRQ, 0);