PUT_USER         2058 drivers/char/pcmcia/synclink_cs.c 		PUT_USER(rc, events, mask_ptr);
PUT_USER         2771 drivers/tty/synclink.c 		PUT_USER(rc, events, mask_ptr);
PUT_USER         3116 drivers/tty/synclinkmp.c 		PUT_USER(rc, events, mask_ptr);