Displaying 2 results from an estimated 2 matches for "acpi_memory_get_device".
2013 Feb 15
1
xen/acpi: ACPI memory hotplug
Hello Liu Jinsong,
This is a semi-automatic email about new static checker warnings.
The patch 259f201cb7ea: "xen/acpi: ACPI memory hotplug" from Jan 24,
2013, leads to the following Smatch complaint:
drivers/xen/xen-acpi-memhotplug.c:198 acpi_memory_get_device()
error: we previously assumed 'device' could be null (see line 171)
drivers/xen/xen-acpi-memhotplug.c
170
171 if (!acpi_bus_get_device(handle, &device) && device)
^^^^^^
New check.
Btw, checking device is...
2013 Feb 15
1
xen/acpi: ACPI memory hotplug
Hello Liu Jinsong,
This is a semi-automatic email about new static checker warnings.
The patch 259f201cb7ea: "xen/acpi: ACPI memory hotplug" from Jan 24,
2013, leads to the following Smatch complaint:
drivers/xen/xen-acpi-memhotplug.c:198 acpi_memory_get_device()
error: we previously assumed 'device' could be null (see line 171)
drivers/xen/xen-acpi-memhotplug.c
170
171 if (!acpi_bus_get_device(handle, &device) && device)
^^^^^^
New check.
Btw, checking device is...