uml: rename os_{read_write}_file_k back to os_{read_write}_file
authorJeff Dike <jdike@addtoit.com>
Sun, 6 May 2007 21:51:43 +0000 (14:51 -0700)
committerLinus Torvalds <torvalds@woody.linux-foundation.org>
Mon, 7 May 2007 19:13:03 +0000 (12:13 -0700)
Rename os_{read_write}_file_k back to os_{read_write}_file, delete
the originals and their bogus infrastructure, and fix all the callers.

Signed-off-by: Jeff Dike <jdike@linux.intel.com>
Cc: Paolo 'Blaisorblade' Giarrusso <blaisorblade@yahoo.it>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
22 files changed:
arch/um/drivers/chan_kern.c
arch/um/drivers/chan_user.c
arch/um/drivers/cow_sys.h
arch/um/drivers/daemon_user.c
arch/um/drivers/harddog_user.c
arch/um/drivers/hostaudio_kern.c
arch/um/drivers/net_user.c
arch/um/drivers/port_kern.c
arch/um/drivers/random.c
arch/um/drivers/ubd_kern.c
arch/um/include/os.h
arch/um/kernel/initrd.c
arch/um/kernel/ksyms.c
arch/um/kernel/physmem.c
arch/um/kernel/sigio.c
arch/um/kernel/smp.c
arch/um/kernel/tt/process_kern.c
arch/um/kernel/tt/ptproxy/proxy.c
arch/um/kernel/tt/tracer.c
arch/um/os-Linux/file.c
arch/um/sys-i386/bugs.c
arch/um/sys-i386/ldt.c

index 92e069e8253fd59a319017b9ea9870258f5c666b..3aa351611763cbcf625f5cc6a09b4f4aad41ea5f 100644 (file)
@@ -98,7 +98,7 @@ int generic_read(int fd, char *c_out, void *unused)
 {
        int n;
 
-       n = os_read_file_k(fd, c_out, sizeof(*c_out));
+       n = os_read_file(fd, c_out, sizeof(*c_out));
 
        if(n == -EAGAIN)
                return 0;
@@ -111,7 +111,7 @@ int generic_read(int fd, char *c_out, void *unused)
 
 int generic_write(int fd, const char *buf, int n, void *unused)
 {
-       return os_write_file_k(fd, buf, n);
+       return os_write_file(fd, buf, n);
 }
 
 int generic_window_size(int fd, void *unused, unsigned short *rows_out,
index a15be1720e03d42cfd0f1524e27c6de02c5c00ca..13f0bf852b2a195e8b15ceab084c51e6153ad3eb 100644 (file)
@@ -85,7 +85,7 @@ static int winch_thread(void *arg)
 
        pty_fd = data->pty_fd;
        pipe_fd = data->pipe_fd;
-       count = os_write_file_k(pipe_fd, &c, sizeof(c));
+       count = os_write_file(pipe_fd, &c, sizeof(c));
        if(count != sizeof(c))
                printk("winch_thread : failed to write synchronization "
                       "byte, err = %d\n", -count);
@@ -120,7 +120,7 @@ static int winch_thread(void *arg)
         * host - since they are not different kernel threads, we cannot use
         * kernel semaphores. We don't use SysV semaphores because they are
         * persistent. */
-       count = os_read_file_k(pipe_fd, &c, sizeof(c));
+       count = os_read_file(pipe_fd, &c, sizeof(c));
        if(count != sizeof(c))
                printk("winch_thread : failed to read synchronization byte, "
                       "err = %d\n", -count);
@@ -130,7 +130,7 @@ static int winch_thread(void *arg)
                 * are blocked.*/
                sigsuspend(&sigs);
 
-               count = os_write_file_k(pipe_fd, &c, sizeof(c));
+               count = os_write_file(pipe_fd, &c, sizeof(c));
                if(count != sizeof(c))
                        printk("winch_thread : write failed, err = %d\n",
                               -count);
@@ -162,7 +162,7 @@ static int winch_tramp(int fd, struct tty_struct *tty, int *fd_out)
        }
 
        *fd_out = fds[0];
-       n = os_read_file_k(fds[0], &c, sizeof(c));
+       n = os_read_file(fds[0], &c, sizeof(c));
        if(n != sizeof(c)){
                printk("winch_tramp : failed to read synchronization byte\n");
                printk("read failed, err = %d\n", -n);
@@ -195,7 +195,7 @@ void register_winch(int fd, struct tty_struct *tty)
                if(thread > 0){
                        register_winch_irq(thread_fd, fd, thread, tty);
 
-                       count = os_write_file_k(thread_fd, &c, sizeof(c));
+                       count = os_write_file(thread_fd, &c, sizeof(c));
                        if(count != sizeof(c))
                                printk("register_winch : failed to write "
                                       "synchronization byte, err = %d\n",
index aa7bef9c38d9dd2f0526cc63877e5e04e6ffe4bf..15453845d2bab85eaa1c1a15f59740779eb225f3 100644 (file)
@@ -35,7 +35,7 @@ static inline int cow_file_size(char *file, unsigned long long *size_out)
 
 static inline int cow_write_file(int fd, void *buf, int size)
 {
-       return os_write_file_k(fd, buf, size);
+       return os_write_file(fd, buf, size);
 }
 
 #endif
index e1fd26c1b728ffa096c72fb174311e389d1336db..b869e3899683e548d6f98e17ec9959e801ef8a6b 100644 (file)
@@ -94,7 +94,7 @@ static int connect_to_switch(struct daemon_data *pri)
        req.version = SWITCH_VERSION;
        req.type = REQ_NEW_CONTROL;
        req.sock = *local_addr;
-       n = os_write_file_k(pri->control, &req, sizeof(req));
+       n = os_write_file(pri->control, &req, sizeof(req));
        if(n != sizeof(req)){
                printk("daemon_open : control setup request failed, err = %d\n",
                       -n);
@@ -102,7 +102,7 @@ static int connect_to_switch(struct daemon_data *pri)
                goto out_free;
        }
 
-       n = os_read_file_k(pri->control, sun, sizeof(*sun));
+       n = os_read_file(pri->control, sun, sizeof(*sun));
        if(n != sizeof(*sun)){
                printk("daemon_open : read of data socket failed, err = %d\n",
                       -n);
index 0fbb1615171ee8af032b2cd1a9b35c04e87f901c..5eeecf8917c3158b31a6ef960a14a7d9312f4d1b 100644 (file)
@@ -79,7 +79,7 @@ int start_watchdog(int *in_fd_ret, int *out_fd_ret, char *sock)
                goto out_close_out;
        }
 
-       n = os_read_file_k(in_fds[0], &c, sizeof(c));
+       n = os_read_file(in_fds[0], &c, sizeof(c));
        if(n == 0){
                printk("harddog_open - EOF on watchdog pipe\n");
                helper_wait(pid);
@@ -118,7 +118,7 @@ int ping_watchdog(int fd)
        int n;
        char c = '\n';
 
-       n = os_write_file_k(fd, &c, sizeof(c));
+       n = os_write_file(fd, &c, sizeof(c));
        if(n != sizeof(c)){
                printk("ping_watchdog - write failed, err = %d\n", -n);
                if(n < 0)
index bd6688ea96de28b36ab1d842556e2c87e8e24d1e..10e08a8c17c3149cc346529a1c61bb6f6b241cff 100644 (file)
@@ -84,7 +84,7 @@ static ssize_t hostaudio_read(struct file *file, char __user *buffer,
        if(kbuf == NULL)
                return(-ENOMEM);
 
-       err = os_read_file_k(state->fd, kbuf, count);
+       err = os_read_file(state->fd, kbuf, count);
        if(err < 0)
                goto out;
 
@@ -115,7 +115,7 @@ static ssize_t hostaudio_write(struct file *file, const char __user *buffer,
        if(copy_from_user(kbuf, buffer, count))
                goto out;
 
-       err = os_write_file_k(state->fd, kbuf, count);
+       err = os_write_file(state->fd, kbuf, count);
        if(err < 0)
                goto out;
        *ppos += err;
index 8bc6688c4f0fe91be5ef8a94ffe7cfaef57c8de1..3503cff867c34d1166466c5da5acc6a14de3f46d 100644 (file)
@@ -63,7 +63,7 @@ void read_output(int fd, char *output, int len)
        }
                
        *output = '\0';
-       ret = os_read_file_k(fd, &remain, sizeof(remain));
+       ret = os_read_file(fd, &remain, sizeof(remain));
 
        if (ret != sizeof(remain)) {
                expected = sizeof(remain);
@@ -73,7 +73,7 @@ void read_output(int fd, char *output, int len)
 
        while(remain != 0){
                expected = (remain < len) ? remain : len;
-               ret = os_read_file_k(fd, output, expected);
+               ret = os_read_file(fd, output, expected);
                if (ret != expected) {
                        str = "data";
                        goto err;
@@ -94,7 +94,7 @@ int net_read(int fd, void *buf, int len)
 {
        int n;
 
-       n = os_read_file_k(fd,  buf,  len);
+       n = os_read_file(fd,  buf,  len);
 
        if(n == -EAGAIN)
                return 0;
@@ -122,7 +122,7 @@ int net_write(int fd, void *buf, int len)
 {
        int n;
 
-       n = os_write_file_k(fd, buf, len);
+       n = os_write_file(fd, buf, len);
 
        if(n == -EAGAIN)
                return 0;
index 75bb40126c2eb05b41ec9345252bcf2a9213947d..1c8efd95c421946ab5e7e56db518395c1847378b 100644 (file)
@@ -113,7 +113,7 @@ static int port_accept(struct port_list *port)
        }
 
        if(atomic_read(&port->wait_count) == 0){
-               os_write_file_k(fd, NO_WAITER_MSG, sizeof(NO_WAITER_MSG));
+               os_write_file(fd, NO_WAITER_MSG, sizeof(NO_WAITER_MSG));
                printk("No one waiting for port\n");
        }
        list_add(&conn->list, &port->pending);
index 94838f4c16455dde04dea72b2ff2d59e8bc9f66f..e942e836f9954335651fc3c2b6587c2bd7d7e888 100644 (file)
@@ -44,7 +44,7 @@ static ssize_t rng_dev_read (struct file *filp, char __user *buf, size_t size,
         int n, ret = 0, have_data;
 
         while(size){
-                n = os_read_file_k(random_fd, &data, sizeof(data));
+                n = os_read_file(random_fd, &data, sizeof(data));
                 if(n > 0){
                         have_data = n;
                         while (have_data && size) {
index 614fe25a31bd22f4f5adf547be9c8a38040854f7..70509ddaac035cd60537e286883614323410be6d 100644 (file)
@@ -511,8 +511,8 @@ static void ubd_handler(void)
        int n;
 
        while(1){
-               n = os_read_file_k(thread_fd, &req,
-                                  sizeof(struct io_thread_req *));
+               n = os_read_file(thread_fd, &req,
+                                sizeof(struct io_thread_req *));
                if(n != sizeof(req)){
                        if(n == -EAGAIN)
                                break;
@@ -1112,8 +1112,8 @@ static void do_ubd_request(request_queue_t *q)
                                        (unsigned long long) req->sector << 9,
                                        sg->offset, sg->length, sg->page);
 
-                       n = os_write_file_k(thread_fd, &io_req,
-                                           sizeof(struct io_thread_req *));
+                       n = os_write_file(thread_fd, &io_req,
+                                         sizeof(struct io_thread_req *));
                        if(n != sizeof(struct io_thread_req *)){
                                if(n != -EAGAIN)
                                        printk("write to io thread failed, "
@@ -1366,8 +1366,8 @@ static int update_bitmap(struct io_thread_req *req)
                return 1;
        }
 
-       n = os_write_file_k(req->fds[1], &req->bitmap_words,
-                           sizeof(req->bitmap_words));
+       n = os_write_file(req->fds[1], &req->bitmap_words,
+                         sizeof(req->bitmap_words));
        if(n != sizeof(req->bitmap_words)){
                printk("do_io - bitmap update failed, err = %d fd = %d\n", -n,
                       req->fds[1]);
@@ -1411,7 +1411,7 @@ void do_io(struct io_thread_req *req)
                        do {
                                buf = &buf[n];
                                len -= n;
-                               n = os_read_file_k(req->fds[bit], buf, len);
+                               n = os_read_file(req->fds[bit], buf, len);
                                if (n < 0) {
                                        printk("do_io - read failed, err = %d "
                                               "fd = %d\n", -n, req->fds[bit]);
@@ -1421,7 +1421,7 @@ void do_io(struct io_thread_req *req)
                        } while((n < len) && (n != 0));
                        if (n < len) memset(&buf[n], 0, len - n);
                } else {
-                       n = os_write_file_k(req->fds[bit], buf, len);
+                       n = os_write_file(req->fds[bit], buf, len);
                        if(n != len){
                                printk("do_io - write failed err = %d "
                                       "fd = %d\n", -n, req->fds[bit]);
@@ -1451,7 +1451,7 @@ int io_thread(void *arg)
 
        ignore_sigwinch_sig();
        while(1){
-               n = os_read_file_k(kernel_fd, &req,
+               n = os_read_file(kernel_fd, &req,
                                 sizeof(struct io_thread_req *));
                if(n != sizeof(struct io_thread_req *)){
                        if(n < 0)
@@ -1465,7 +1465,7 @@ int io_thread(void *arg)
                }
                io_count++;
                do_io(req);
-               n = os_write_file_k(kernel_fd, &req,
+               n = os_write_file(kernel_fd, &req,
                                  sizeof(struct io_thread_req *));
                if(n != sizeof(struct io_thread_req *))
                        printk("io_thread - write failed, fd = %d, err = %d\n",
index 901804db3c35195938db403bdcadc693f72e496d..d663809087030d6e0528b460f338de2076a28b3a 100644 (file)
@@ -144,9 +144,7 @@ extern int os_mode_fd(int fd, int mode);
 extern int os_seek_file(int fd, __u64 offset);
 extern int os_open_file(char *file, struct openflags flags, int mode);
 extern int os_read_file(int fd, void *buf, int len);
-extern int os_read_file_k(int fd, void *buf, int len);
 extern int os_write_file(int fd, const void *buf, int count);
-extern int os_write_file_k(int fd, const void *buf, int len);
 extern int os_file_size(char *file, unsigned long long *size_out);
 extern int os_file_modtime(char *file, unsigned long *modtime);
 extern int os_pipe(int *fd, int stream, int close_on_exec);
index cff73faae9918769b2ab8a24a3c88adb526ef737..16dc43e9d940e305bfe2f42a9a5c35be05eb0a9c 100644 (file)
@@ -63,7 +63,7 @@ int load_initrd(char *filename, void *buf, int size)
                printk("Opening '%s' failed - err = %d\n", filename, -fd);
                return -1;
        }
-       n = os_read_file_k(fd, buf, size);
+       n = os_read_file(fd, buf, size);
        if(n != size){
                printk("Read of %d bytes from '%s' failed, err = %d\n", size,
                       filename, -n);
index 7c158448b9fdd4898f35fdb803e8196886a14284..7b3e53fb80703f4ced9b1dc5ba0004faa288e44c 100644 (file)
@@ -62,9 +62,7 @@ EXPORT_SYMBOL(os_get_exec_close);
 EXPORT_SYMBOL(os_set_exec_close);
 EXPORT_SYMBOL(os_getpid);
 EXPORT_SYMBOL(os_open_file);
-EXPORT_SYMBOL(os_read_file_k);
 EXPORT_SYMBOL(os_read_file);
-EXPORT_SYMBOL(os_write_file_k);
 EXPORT_SYMBOL(os_write_file);
 EXPORT_SYMBOL(os_seek_file);
 EXPORT_SYMBOL(os_lock_file);
index 77021a627da62a025489c46e0deae1722e675403..df1ad3ba130cd308f7760481466bc552b3fca694 100644 (file)
@@ -211,7 +211,7 @@ void physmem_forget_descriptor(int fd)
                        panic("physmem_forget_descriptor - failed to seek "
                              "to %lld in fd %d, error = %d\n",
                              offset, fd, -err);
-               err = os_read_file_k(fd, addr, PAGE_SIZE);
+               err = os_read_file(fd, addr, PAGE_SIZE);
                if(err < 0)
                        panic("physmem_forget_descriptor - failed to read "
                              "from fd %d to 0x%p, error = %d\n",
@@ -341,7 +341,7 @@ void setup_physmem(unsigned long start, unsigned long reserve_end,
         * from physmem_fd, so it needs to be written out there.
         */
        os_seek_file(physmem_fd, __pa(&__syscall_stub_start));
-       os_write_file_k(physmem_fd, &__syscall_stub_start, PAGE_SIZE);
+       os_write_file(physmem_fd, &__syscall_stub_start, PAGE_SIZE);
 
        bootmap_size = init_bootmem(pfn, pfn + delta);
        free_bootmem(__pa(reserve_end) + bootmap_size,
index f756e78085e4ca1ee152252d4c0ed55cbbbe2a70..89f9866a1354b8073cf5f015bd4b80e276b6e9a4 100644 (file)
@@ -21,7 +21,7 @@ static irqreturn_t sigio_interrupt(int irq, void *data)
 {
        char c;
 
-       os_read_file_k(sigio_irq_fd, &c, sizeof(c));
+       os_read_file(sigio_irq_fd, &c, sizeof(c));
        reactivate_fd(sigio_irq_fd, SIGIO_WRITE_IRQ);
        return IRQ_HANDLED;
 }
index 9ac562124654101989bba5597df89e0cc07a542a..e6a7778006adb2d193180fa50e4eabe7cfbcfb02 100644 (file)
@@ -47,7 +47,7 @@ struct task_struct *idle_threads[NR_CPUS];
 
 void smp_send_reschedule(int cpu)
 {
-       os_write_file_k(cpu_data[cpu].ipi_pipe[1], "R", 1);
+       os_write_file(cpu_data[cpu].ipi_pipe[1], "R", 1);
        num_reschedules_sent++;
 }
 
@@ -59,7 +59,7 @@ void smp_send_stop(void)
        for(i = 0; i < num_online_cpus(); i++){
                if(i == current_thread->cpu)
                        continue;
-               os_write_file_k(cpu_data[i].ipi_pipe[1], "S", 1);
+               os_write_file(cpu_data[i].ipi_pipe[1], "S", 1);
        }
        printk("done\n");
 }
@@ -108,8 +108,8 @@ static struct task_struct *idle_thread(int cpu)
                          { .pid =      new_task->thread.mode.tt.extern_pid,
                            .task =     new_task } );
        idle_threads[cpu] = new_task;
-       CHOOSE_MODE(os_write_file_k(new_task->thread.mode.tt.switch_pipe[1], &c,
-                                   sizeof(c)),
+       CHOOSE_MODE(os_write_file(new_task->thread.mode.tt.switch_pipe[1], &c,
+                                 sizeof(c)),
                    ({ panic("skas mode doesn't support SMP"); }));
        return new_task;
 }
@@ -179,7 +179,7 @@ void IPI_handler(int cpu)
        int fd;
 
        fd = cpu_data[cpu].ipi_pipe[0];
-       while (os_read_file_k(fd, &c, 1) == 1) {
+       while (os_read_file(fd, &c, 1) == 1) {
                switch (c) {
                case 'C':
                        smp_call_function_slave(cpu);
@@ -239,7 +239,7 @@ int smp_call_function(void (*_func)(void *info), void *_info, int nonatomic,
        info = _info;
 
        for_each_online_cpu(i)
-               os_write_file_k(cpu_data[i].ipi_pipe[1], "C", 1);
+               os_write_file(cpu_data[i].ipi_pipe[1], "C", 1);
 
        while (atomic_read(&scf_started) != cpus)
                barrier();
index c81bd2074930e71429369826530cd79687326a82..c631303cb800cf80a8593a22836b1ee47cf7f7f6 100644 (file)
@@ -57,14 +57,14 @@ void switch_to_tt(void *prev, void *next)
         * nor the value in "to" (since it was the task which stole us the CPU,
         * which we don't care about). */
 
-       err = os_write_file_k(to->thread.mode.tt.switch_pipe[1], &c, sizeof(c));
+       err = os_write_file(to->thread.mode.tt.switch_pipe[1], &c, sizeof(c));
        if(err != sizeof(c))
                panic("write of switch_pipe failed, err = %d", -err);
 
        if(from->thread.mode.tt.switch_pipe[0] == -1)
                os_kill_process(os_getpid(), 0);
 
-       err = os_read_file_k(from->thread.mode.tt.switch_pipe[0], &c,
+       err = os_read_file(from->thread.mode.tt.switch_pipe[0], &c,
                             sizeof(c));
        if(err != sizeof(c))
                panic("read of switch_pipe failed, errno = %d", -err);
@@ -114,7 +114,7 @@ void suspend_new_thread(int fd)
        char c;
 
        os_stop_process(os_getpid());
-       err = os_read_file_k(fd, &c, sizeof(c));
+       err = os_read_file(fd, &c, sizeof(c));
        if(err != sizeof(c))
                panic("read failed in suspend_new_thread, err = %d", -err);
 }
index 007beb6b7c00e36a112d549896372d74f3b638a6..420c23f311f3e076897c0a0747301dfb2a3a8044 100644 (file)
@@ -338,14 +338,14 @@ int start_debugger(char *prog, int startup, int stop, int *fd_out)
                               "err = %d\n", -fd);
                        exit(1);
                }
-               os_write_file_k(fd, gdb_init_string,
-                               sizeof(gdb_init_string) - 1);
+               os_write_file(fd, gdb_init_string,
+                             sizeof(gdb_init_string) - 1);
                if(startup){
                        if(stop){
-                               os_write_file_k(fd, "b start_kernel\n",
+                               os_write_file(fd, "b start_kernel\n",
                                                strlen("b start_kernel\n"));
                        }
-                       os_write_file_k(fd, "c\n", strlen("c\n"));
+                       os_write_file(fd, "c\n", strlen("c\n"));
                }
                if(ptrace(PTRACE_TRACEME, 0, 0, 0) < 0){
                        printk("start_debugger :  PTRACE_TRACEME failed, "
index 264da6c5a5c380d6d862326d56d56a0f861e11d6..c23588393f6e9843281c6458f6280a0f52ea15bf 100644 (file)
@@ -44,7 +44,7 @@ static void tracer_winch_handler(int sig)
        int n;
        char c = 1;
 
-       n = os_write_file_k(tracer_winch[1], &c, sizeof(c));
+       n = os_write_file(tracer_winch[1], &c, sizeof(c));
        if(n != sizeof(c))
                printk("tracer_winch_handler - write failed, err = %d\n", -n);
 }
index 5e9b8dcf34d4748acf06416ea22e3b278a3835ff..6f92f732d25346aef20f43eda05efe8d7f9d8c12 100644 (file)
@@ -290,51 +290,7 @@ int os_seek_file(int fd, __u64 offset)
        return 0;
 }
 
-static int fault_buffer(void *start, int len,
-                       int (*copy_proc)(void *addr, void *buf, int len))
-{
-       int page = getpagesize(), i;
-       char c;
-
-       for(i = 0; i < len; i += page){
-               if((*copy_proc)(start + i, &c, sizeof(c)))
-                       return -EFAULT;
-       }
-       if((len % page) != 0){
-               if((*copy_proc)(start + len - 1, &c, sizeof(c)))
-                       return -EFAULT;
-       }
-       return 0;
-}
-
-static int file_io(int fd, void *buf, int len,
-                  int (*io_proc)(int fd, void *buf, int len),
-                  int (*copy_user_proc)(void *addr, void *buf, int len))
-{
-       int n, err;
-
-       do {
-               n = (*io_proc)(fd, buf, len);
-               if((n < 0) && (errno == EFAULT)){
-                       err = fault_buffer(buf, len, copy_user_proc);
-                       if(err)
-                               return err;
-                       n = (*io_proc)(fd, buf, len);
-               }
-       } while((n < 0) && (errno == EINTR));
-
-       if(n < 0)
-               return -errno;
-       return n;
-}
-
 int os_read_file(int fd, void *buf, int len)
-{
-       return file_io(fd, buf, len, (int (*)(int, void *, int)) read,
-                      copy_from_user_proc);
-}
-
-int os_read_file_k(int fd, void *buf, int len)
 {
        int n = read(fd, buf, len);
 
@@ -344,12 +300,6 @@ int os_read_file_k(int fd, void *buf, int len)
 }
 
 int os_write_file(int fd, const void *buf, int len)
-{
-       return file_io(fd, (void *) buf, len,
-                      (int (*)(int, void *, int)) write, copy_to_user_proc);
-}
-
-int os_write_file_k(int fd, const void *buf, int len)
 {
        int n = write(fd, (void *) buf, len);
 
index f5dfe49c84426c41b01c06d5439eb8ccc928fdc3..0393e44813e775e1adf6e4274789caabb3d09493 100644 (file)
@@ -28,7 +28,7 @@ static char token(int fd, char *buf, int len, char stop)
        ptr = buf;
        end = &buf[len];
        do {
-               n = os_read_file_k(fd, ptr, sizeof(*ptr));
+               n = os_read_file(fd, ptr, sizeof(*ptr));
                c = *ptr++;
                if(n != sizeof(*ptr)){
                        if(n == 0)
@@ -67,7 +67,7 @@ static int find_cpuinfo_line(int fd, char *key, char *scratch, int len)
                        return 1;
 
                do {
-                       n = os_read_file_k(fd, &c, sizeof(c));
+                       n = os_read_file(fd, &c, sizeof(c));
                        if(n != sizeof(c)){
                                printk("Failed to find newline in "
                                       "/proc/cpuinfo, err = %d\n", -n);
index d031a13bd9694304189114c3d40770c2ab1cb4fa..a939a7ef02274eff96f5e3ca46d3e14772b80975 100644 (file)
@@ -517,7 +517,7 @@ long init_new_ldt(struct mmu_context_skas * new_mm,
                                              .u        =
                                              { .copy_segments =
                                                        from_mm->id.u.mm_fd } } );
-               i = os_write_file_k(new_mm->id.u.mm_fd, &copy, sizeof(copy));
+               i = os_write_file(new_mm->id.u.mm_fd, &copy, sizeof(copy));
                if(i != sizeof(copy))
                        printk("new_mm : /proc/mm copy_segments failed, "
                               "err = %d\n", -i);