[PATCH] sparse: acpi __user annotation

diff --git a/drivers/acpi/battery.c b/drivers/acpi/battery.c
index 7392add51e2d888ab34f10cf047917a7632ee29e..f6218dd8f065747d4b3bf0441d95dab331ef8cab 100644 (file)
--- a/drivers/acpi/battery.c
+++ b/drivers/acpi/battery.c
@@ -582,7 +582,7 @@ end:
 static int
 acpi_battery_write_alarm (
        struct file             *file,
-       const char              *buffer,
+       const char              __user *buffer,
        unsigned long           count,
        void                    *data)
 {

diff --git a/drivers/acpi/debug.c b/drivers/acpi/debug.c
index dd1ca5b2fbfd44858269042f3f2f2625a12c4f62..585f59db4af98cf2b7be6aebc788ad17369cc1cd 100644 (file)
--- a/drivers/acpi/debug.c
+++ b/drivers/acpi/debug.c
@@ -55,7 +55,7 @@ end:
 static int
 acpi_system_write_debug (
        struct file             *file,
-        const char              *buffer,
+        const char              __user *buffer,
        unsigned long           count,
         void                    *data)
 {

diff --git a/drivers/acpi/event.c b/drivers/acpi/event.c
index 43323b4e07a0ebed228f78b77f3a49c13d88748a..385fc65bf29f991dda95f556c191f98147965463 100644 (file)
--- a/drivers/acpi/event.c
+++ b/drivers/acpi/event.c
@@ -42,7 +42,7 @@ out_busy:
 static ssize_t
 acpi_system_read_event (
        struct file             *file,
-       char                    *buffer,
+       char                    __user *buffer,
        size_t                  count,
        loff_t                  *ppos)
 {

diff --git a/drivers/acpi/fan.c b/drivers/acpi/fan.c
index 522e12466d3dc05360f02338f9a1359e9e2f7677..fa2a1b4141b5b648bf0730f24e52446995524e25 100644 (file)
--- a/drivers/acpi/fan.c
+++ b/drivers/acpi/fan.c
@@ -114,7 +114,7 @@ end:
 static int
 acpi_fan_write_state (
        struct file             *file,
-       const char              *buffer,
+       const char              __user *buffer,
        unsigned long           count,
        void                    *data)
 {

diff --git a/drivers/acpi/processor.c b/drivers/acpi/processor.c
index 99c02080f3a5080a2a33888fa25aef950fbb811f..8d7b78df62a134904fb7a08e9e2826cec5cc7004 100644 (file)
--- a/drivers/acpi/processor.c
+++ b/drivers/acpi/processor.c
@@ -1948,7 +1948,7 @@ static int acpi_processor_throttling_open_fs(struct inode *inode, struct file *f
 static ssize_t
 acpi_processor_write_throttling (
         struct file            *file,
-        const char             *buffer,
+        const char             __user *buffer,
         size_t                 count,
         loff_t                 *data)
 {
@@ -2009,7 +2009,7 @@ static int acpi_processor_limit_open_fs(struct inode *inode, struct file *file)
 static ssize_t
 acpi_processor_write_limit (
        struct file             *file,
-       const char              *buffer,
+       const char              __user *buffer,
        size_t                  count,
        loff_t                  *data)
 {

diff --git a/drivers/acpi/system.c b/drivers/acpi/system.c
index bee370aed4e1f757b4fd150ce07aca1eb427bc28..892184a9e25d77671bbaac1268a82c197470c29b 100644 (file)
--- a/drivers/acpi/system.c
+++ b/drivers/acpi/system.c
@@ -77,7 +77,7 @@ end:
        return_VALUE(size);
 }
 
-static ssize_t acpi_system_read_dsdt (struct file*, char*, size_t, loff_t*);
+static ssize_t acpi_system_read_dsdt (struct file*, char __user *, size_t, loff_t*);
 
 static struct file_operations acpi_system_dsdt_ops = {
        .read =                 acpi_system_read_dsdt,
@@ -86,7 +86,7 @@ static struct file_operations acpi_system_dsdt_ops = {
 static ssize_t
 acpi_system_read_dsdt (
        struct file             *file,
-       char                    *buffer,
+       char                    __user *buffer,
        size_t                  count,
        loff_t                  *ppos)
 {
@@ -120,7 +120,7 @@ acpi_system_read_dsdt (
 }
 
 
-static ssize_t acpi_system_read_fadt (struct file*, char*, size_t, loff_t*);
+static ssize_t acpi_system_read_fadt (struct file*, char __user *, size_t, loff_t*);
 
 static struct file_operations acpi_system_fadt_ops = {
        .read =                 acpi_system_read_fadt,
@@ -129,7 +129,7 @@ static struct file_operations acpi_system_fadt_ops = {
 static ssize_t
 acpi_system_read_fadt (
        struct file             *file,
-       char                    *buffer,
+       char                    __user *buffer,
        size_t                  count,
        loff_t                  *ppos)
 {

diff --git a/drivers/acpi/thermal.c b/drivers/acpi/thermal.c
index 111d6d4c3d72c42b0f48de291ef32afd7c9a140d..00c80593ab17152f506ca8fb725736ae252bed48 100644 (file)
--- a/drivers/acpi/thermal.c
+++ b/drivers/acpi/thermal.c
@@ -84,11 +84,11 @@ static int acpi_thermal_remove (struct acpi_device *device, int type);
 static int acpi_thermal_state_open_fs(struct inode *inode, struct file *file);
 static int acpi_thermal_temp_open_fs(struct inode *inode, struct file *file);
 static int acpi_thermal_trip_open_fs(struct inode *inode, struct file *file);
-static ssize_t acpi_thermal_write_trip_points (struct file*,const char *,size_t,loff_t *);
+static ssize_t acpi_thermal_write_trip_points (struct file*,const char __user *,size_t,loff_t *);
 static int acpi_thermal_cooling_open_fs(struct inode *inode, struct file *file);
-static ssize_t acpi_thermal_write_cooling_mode (struct file*,const char *,size_t,loff_t *);
+static ssize_t acpi_thermal_write_cooling_mode (struct file*,const char __user *,size_t,loff_t *);
 static int acpi_thermal_polling_open_fs(struct inode *inode, struct file *file);
-static ssize_t acpi_thermal_write_polling(struct file*,const char *,size_t,loff_t *);
+static ssize_t acpi_thermal_write_polling(struct file*,const char __user *,size_t,loff_t *);
 
 static struct acpi_driver acpi_thermal_driver = {
        .name =         ACPI_THERMAL_DRIVER_NAME,
@@ -885,7 +885,7 @@ static int acpi_thermal_trip_open_fs(struct inode *inode, struct file *file)
 static ssize_t
 acpi_thermal_write_trip_points (
         struct file            *file,
-        const char             *buffer,
+        const char             __user *buffer,
         size_t                 count,
         loff_t                 *ppos)
 {
@@ -954,7 +954,7 @@ static int acpi_thermal_cooling_open_fs(struct inode *inode, struct file *file)
 static ssize_t
 acpi_thermal_write_cooling_mode (
        struct file             *file,
-       const char              *buffer,
+       const char              __user *buffer,
        size_t                  count,
        loff_t                  *ppos)
 {
@@ -1015,7 +1015,7 @@ static int acpi_thermal_polling_open_fs(struct inode *inode, struct file *file)
 static ssize_t
 acpi_thermal_write_polling (
        struct file             *file,
-       const char              *buffer,
+       const char              __user *buffer,
        size_t                  count,
        loff_t                  *ppos)
 {

diff --git a/drivers/acpi/toshiba_acpi.c b/drivers/acpi/toshiba_acpi.c
index 80a3203611774023765115ec7dc0e95b44ce5c5a..508bcb4955da17dd536d424a5ed1a896e4e429ea 100644 (file)
--- a/drivers/acpi/toshiba_acpi.c
+++ b/drivers/acpi/toshiba_acpi.c
@@ -252,7 +252,7 @@ dispatch_read(char* page, char** start, off_t off, int count, int* eof,
 }
 
 static int
-dispatch_write(struct file* file, __user const char* buffer,
+dispatch_write(struct file* file, const char __user * buffer,
        unsigned long count, ProcItem* item)
 {
        int result;