/* ++++++++++
     Public interface to the ACPI thermal device driver.
+++++ */
#ifndef _ACPI_THERMAL_H
#define _ACPI_THERMAL_H

#include <KernelExport.h>
#include <ACPI.h>

enum { /* ioctl op-codes */
        drvOpGetThermalType = B_DEVICE_OP_CODES_END + 10001,
}; 


typedef struct acpi_thermal_active_object acpi_thermal_active_object;
typedef struct acpi_thermal_type acpi_thermal_type;

struct acpi_thermal_type {
        /* Required fields for thermal devices */
        uint32 critical_temp;
        uint32 current_temp;
        
        /* Optional HOT temp, S4 sleep threshold */
        uint32 hot_temp;
        
        /* acpi_objects_type evaluated from _PSL 
           if != NULL, client must free()
        */
        acpi_object_type *passive_package;
        
        /* List of acpi_thermal_active_objects that can actively manage this thermal device */
        uint32 active_count;
        acpi_thermal_active_object *active_devices;
};

struct acpi_thermal_active_object {
        uint32 threshold_temp;
        acpi_object_type *active_package;
};

#endif /* _ACPI_THERMAL_H */