Searched refs:empmdev (Results 1 – 2 of 2) sorted by relevance
406 device_t empmdev; in cpu_reboot() local426 empmdev = device_find_by_xname("empm0"); in cpu_reboot()427 if (empmdev != NULL) { in cpu_reboot()428 empm_power_off(device_private(empmdev)); in cpu_reboot()
582 define empmdev { }584 attach empm at empmdev587 device empb: pcibus, amibus_empb, empmdev