core/devmgr/devmgr-coordinator.cpp

124 static device_t sys_device = []() {
131     device.children = LIST_INITIAL_VALUE(sys_device.children);
132     device.pending = LIST_INITIAL_VALUE(sys_device.pending);
133     device.metadata = LIST_INITIAL_VALUE(sys_device.metadata);
377     dc_dump_device(&sys_device, 1);
437     dc_dump_device_props(&sys_device);
531         } else if (!strcmp(sys_device.name, dev->name)) {
533         } else if (!strcmp(sys_device.name, dev->name)) {
1165         while (dev && dev != &sys_device) {
1675         } else if (dev == &sys_device) {
1819     // sys_device must suspend last as on x86 it invokes
1821     list_add_head(&ctx->devhosts, &sys_device.proxy->host->snode);
1822     append_suspend_list(ctx, sys_device.proxy->host);
1885         check_pending(&sys_device);
1897     if (!sys_device.proxy || !root_device.proxy || !misc_device.proxy) {
1931     if (!sys_device.proxy || !root_device.proxy || !misc_device.proxy) {
2209     devfs_publish(&root_device, &sys_device);
2228     sys_device.libname = "/boot/driver/bus-acpi.so";
2230     sys_device.libname = "/boot/driver/platform-bus.so";
2232     dc_prepare_proxy(&sys_device);