kernel/drivers/input/serio/hp_sdc.c
.. .. @@ -1021,7 +1021,7 @@ 1021 1021 hp_sdc.base_io = (unsigned long) 0xf0428000; 1022 1022 hp_sdc.data_io = (unsigned long) hp_sdc.base_io + 1; 1023 1023 hp_sdc.status_io = (unsigned long) hp_sdc.base_io + 3; 1024 - if (!probe_kernel_read(&i, (unsigned char *)hp_sdc.data_io, 1))1024 + if (!copy_from_kernel_nofault(&i, (unsigned char *)hp_sdc.data_io, 1))1025 1025 hp_sdc.dev = (void *)1; 1026 1026 hp_sdc.dev_err = hp_sdc_init(); 1027 1027 #endif