src/add-ons/kernel/bus_managers/acpi/NamespaceDump.cpp

180

acpi_ns_device_info *device = (acpi_ns_device_info*)(arg);

src/add-ons/kernel/bus_managers/acpi/NamespaceDump.cpp

197

acpi_ns_device_info *device = (acpi_ns_device_info *)_cookie;

src/add-ons/kernel/bus_managers/acpi/NamespaceDump.cpp

235

acpi_ns_device_info *device = (acpi_ns_device_info *)_cookie;

src/add-ons/kernel/bus_managers/acpi/NamespaceDump.cpp

307

acpi_ns_device_info *device = (acpi_ns_device_info *)cookie;

src/add-ons/kernel/bus_managers/acpi/NamespaceDump.cpp

330

acpi_ns_device_info *device = (acpi_ns_device_info *)calloc(1, sizeof(*device));

src/add-ons/kernel/bus_managers/acpi/NamespaceDump.cpp

350

acpi_ns_device_info *device = (acpi_ns_device_info *)_cookie;

src/add-ons/kernel/bus_managers/acpi/NamespaceDump.cpp

55

make_space(acpi_ns_device_info *device, size_t space)

src/add-ons/kernel/bus_managers/acpi/NamespaceDump.cpp

81

dump_acpi_namespace(acpi_ns_device_info *device, char *root, int indenting)