__svc_getreq_user
__svc_getreq_user(p);
__svc_getreq_user(&virtual_fd);
__svc_getreq_user(&(svc_pollset[mypollfd]));
extern void __svc_getreq_user(struct pollfd *);