taglinefilesource code
argp2559drivers/char/tpqic02.cchar *stp, *argp;
argp2616drivers/char/tpqic02.cargp = (char *) ioarg;
argp2618drivers/char/tpqic02.cput_user_byte(*stp++, argp++);
argp2643drivers/char/tpqic02.cargp = (char *) ioarg;
argp2645drivers/char/tpqic02.c*stp++ = get_user_byte(argp++);
argp2675drivers/char/tpqic02.cargp = (char *) ioarg;
argp2677drivers/char/tpqic02.c*stp++ = get_user_byte(argp++);
argp2737drivers/char/tpqic02.cargp = (char *) ioarg;
argp2739drivers/char/tpqic02.cput_user_byte(*stp++, argp++);
argp2770drivers/char/tpqic02.cargp = (char *) ioarg;
argp2772drivers/char/tpqic02.cput_user_byte(*stp++, argp++);
argp243drivers/char/vesa_blank.cunsigned char *argp = (unsigned char *)(arg + 1);
argp244drivers/char/vesa_blank.cunsigned int mode = get_user(argp);