Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/eventpoll.c __do_compat_sys_epoll_pwait2() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 6343909679205306368
BUF_SIZE 0 to 16
USER_DATA 0 to->tv_nsec s64min-s64max
USER_DATA 0 to->tv_sec s64min-s64max
USER_DATA 1 sec s64min-s64max
USER_DATA 2 nsec s64min-s64max

fs/eventpoll.c __do_compat_sys_epoll_pwait2() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 6343909679205306368
BUF_SIZE 0 to 16
USER_DATA 0 to->tv_nsec s64min-s64max
USER_DATA 0 to->tv_sec s64min-s64max
USER_DATA 1 sec s64min-s64max
USER_DATA 2 nsec s64min-s64max

fs/eventpoll.c __do_sys_epoll_pwait2() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 7220141682495877120
BUF_SIZE 0 to 16
USER_DATA 0 to->tv_nsec s64min-s64max
USER_DATA 0 to->tv_sec s64min-s64max
USER_DATA 1 sec s64min-s64max
USER_DATA 2 nsec s64min-s64max

fs/eventpoll.c __do_sys_epoll_pwait2() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 7220141682495877120
BUF_SIZE 0 to 16
USER_DATA 0 to->tv_nsec s64min-s64max
USER_DATA 0 to->tv_sec s64min-s64max
USER_DATA 1 sec s64min-s64max
USER_DATA 2 nsec s64min-s64max

net/socket.c do_recvmmsg() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 6372379531786141696
USER_DATA 1 sec s64min-s64max
USER_DATA 2 nsec s64min-s64max

fs/select.c __do_compat_sys_ppoll_time32() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 7248657740468592640
BUF_SIZE 0 to 16
USER_DATA 1 sec s64min-s64max
USER_DATA 2 nsec s64min-s64max

fs/select.c __do_compat_sys_ppoll_time32() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 7248657740468592640
BUF_SIZE 0 to 16
USER_DATA 1 sec s64min-s64max
USER_DATA 2 nsec s64min-s64max

fs/select.c __do_compat_sys_ppoll_time64() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 933203224198057984
BUF_SIZE 0 to 16
USER_DATA 1 sec s64min-s64max
USER_DATA 2 nsec s64min-s64max

fs/select.c __do_compat_sys_ppoll_time64() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 933203224198057984
BUF_SIZE 0 to 16
USER_DATA 1 sec s64min-s64max
USER_DATA 2 nsec s64min-s64max

fs/select.c __do_sys_poll() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 4839741882923175936
PARAM_VALUE 1 sec 0-2147483
PARAM_VALUE 2 nsec 0-999000000
BUF_SIZE 0 to 16
NOCHECK_CALL
USER_DATA 1 sec 0-2147483
USER_DATA 2 nsec 0-999000000[c]

fs/select.c __do_sys_poll() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 4839741882923175936
PARAM_VALUE 1 sec 0-2147483
PARAM_VALUE 2 nsec 0-999000000
BUF_SIZE 0 to 16
NOCHECK_CALL
USER_DATA 1 sec 0-2147483
USER_DATA 2 nsec 0-999000000[c]

fs/select.c __do_sys_ppoll() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 8915711303390277632
BUF_SIZE 0 to 16
USER_DATA 1 sec s64min-s64max
USER_DATA 2 nsec s64min-s64max

fs/select.c __do_sys_ppoll() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 8915711303390277632
BUF_SIZE 0 to 16
USER_DATA 1 sec s64min-s64max
USER_DATA 2 nsec s64min-s64max

fs/select.c do_compat_pselect() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 4305452649659011072
BUF_SIZE 0 to 16
USER_DATA 1 sec s64min-s64max
USER_DATA 2 nsec s64min-s64max

fs/select.c do_compat_select() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 7394747983202893824
BUF_SIZE 0 to 16
USER_DATA 1 sec (-2147485795)-2147485794
USER_DATA 2 nsec (-999999000)-(-1000),0-999999000[c]

fs/select.c do_pselect() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 933954404209872896
BUF_SIZE 0 to 16
USER_DATA 1 sec s64min-s64max
USER_DATA 2 nsec s64min-s64max

fs/select.c kern_select() -> poll_select_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 to 828254485299625984
PARAM_VALUE 2 nsec 0-999999000
BUF_SIZE 0 to 16
USER_DATA 2 nsec 0-999999000[c]