Searched refs:psmc (Results 1 – 1 of 1) sorted by relevance
1335 device_t psmc; local1356 psmc = device_find_child(device_get_parent(parent),1358 if (psmc == NULL)1360 irq = bus_get_resource_start(psmc, SYS_RES_IRQ, 0);1363 bus_delete_resource(psmc, SYS_RES_IRQ, 0);