bbn = bus;
}
exit:
- kfree(buffer.pointer);
+ acpi_os_free(buffer.pointer);
return (int)bbn;
}
find->handle = handle;
status = AE_OK;
exit:
- kfree(buffer.pointer);
+ acpi_os_free(buffer.pointer);
return status;
}
info = buffer.pointer;
if (info->address == find->address)
find->handle = handle;
- kfree(buffer.pointer);
+ acpi_os_free(buffer.pointer);
}
return AE_OK;
}
acpi_get_name(dev->firmware_data, ACPI_FULL_PATHNAME, &buffer);
DBG("Device %s -> %s\n", dev->bus_id, (char *)buffer.pointer);
- kfree(buffer.pointer);
+ acpi_os_free(buffer.pointer);
} else
DBG("Device %s -> No ACPI support\n", dev->bus_id);
#endif