Searched refs:psmc (Results 1 – 1 of 1) sorted by relevance
1330 device_t psmc; local1351 psmc = device_find_child(device_get_parent(parent),1353 if (psmc == NULL)1355 irq = bus_get_resource_start(psmc, SYS_RES_IRQ, 0);1358 bus_delete_resource(psmc, SYS_RES_IRQ, 0);