acpi_device_cookie
typedef struct acpi_device_cookie *acpi_device;
acpi_device_cookie *device = (acpi_device_cookie*)malloc(sizeof(*device));
acpi_device_cookie *device = (acpi_device_cookie*)cookie;
