|  | /* For use by Linux/ACPI infrastructure, not drivers */ | 
|  |  | 
|  | int init_acpi_device_notify(void); | 
|  | int acpi_scan_init(void); | 
|  | int acpi_system_init(void); | 
|  |  | 
|  | #ifdef CONFIG_ACPI_DEBUG | 
|  | int acpi_debug_init(void); | 
|  | #else | 
|  | static inline int acpi_debug_init(void) { return 0; } | 
|  | #endif | 
|  |  | 
|  | /* -------------------------------------------------------------------------- | 
|  | Power Resource | 
|  | -------------------------------------------------------------------------- */ | 
|  | int acpi_power_init(void); | 
|  | int acpi_device_sleep_wake(struct acpi_device *dev, | 
|  | int enable, int sleep_state, int dev_state); | 
|  | int acpi_enable_wakeup_device_power(struct acpi_device *dev, int sleep_state); | 
|  | int acpi_disable_wakeup_device_power(struct acpi_device *dev); | 
|  | int acpi_power_get_inferred_state(struct acpi_device *device); | 
|  | int acpi_power_transition(struct acpi_device *device, int state); | 
|  | extern int acpi_power_nocheck; | 
|  |  | 
|  | int acpi_wakeup_device_init(void); | 
|  |  | 
|  | /* -------------------------------------------------------------------------- | 
|  | Embedded Controller | 
|  | -------------------------------------------------------------------------- */ | 
|  | int acpi_ec_init(void); | 
|  | int acpi_ec_ecdt_probe(void); | 
|  | int acpi_boot_ec_enable(void); | 
|  |  | 
|  | /*-------------------------------------------------------------------------- | 
|  | Suspend/Resume | 
|  | -------------------------------------------------------------------------- */ | 
|  | extern int acpi_sleep_init(void); | 
|  |  | 
|  | #ifdef CONFIG_ACPI_SLEEP | 
|  | int acpi_sleep_proc_init(void); | 
|  | #else | 
|  | static inline int acpi_sleep_proc_init(void) { return 0; } | 
|  | #endif |