Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/read_write.c __do_sys_preadv() -> pos_from_hilo()

Type Parameter Key Value
DATA_SOURCE 0 high $4
DATA_SOURCE 1 low $3
USER_DATA 0 high 0-u64max
USER_DATA 1 low 0-u64max

fs/read_write.c __do_sys_preadv() -> pos_from_hilo()

Type Parameter Key Value
DATA_SOURCE 0 high $4
DATA_SOURCE 1 low $3
USER_DATA 0 high 0-u64max
USER_DATA 1 low 0-u64max

fs/read_write.c __do_sys_preadv2() -> pos_from_hilo()

Type Parameter Key Value
DATA_SOURCE 0 high $4
DATA_SOURCE 1 low $3
USER_DATA 0 high 0-u64max
USER_DATA 1 low 0-u64max

fs/read_write.c __do_sys_preadv2() -> pos_from_hilo()

Type Parameter Key Value
DATA_SOURCE 0 high $4
DATA_SOURCE 1 low $3
USER_DATA 0 high 0-u64max
USER_DATA 1 low 0-u64max

fs/read_write.c __do_sys_pwritev() -> pos_from_hilo()

Type Parameter Key Value
DATA_SOURCE 0 high $4
DATA_SOURCE 1 low $3
USER_DATA 0 high 0-u64max
USER_DATA 1 low 0-u64max

fs/read_write.c __do_sys_pwritev() -> pos_from_hilo()

Type Parameter Key Value
DATA_SOURCE 0 high $4
DATA_SOURCE 1 low $3
USER_DATA 0 high 0-u64max
USER_DATA 1 low 0-u64max

fs/read_write.c __do_sys_pwritev2() -> pos_from_hilo()

Type Parameter Key Value
DATA_SOURCE 0 high $4
DATA_SOURCE 1 low $3
USER_DATA 0 high 0-u64max
USER_DATA 1 low 0-u64max

fs/read_write.c __do_sys_pwritev2() -> pos_from_hilo()

Type Parameter Key Value
DATA_SOURCE 0 high $4
DATA_SOURCE 1 low $3
USER_DATA 0 high 0-u64max
USER_DATA 1 low 0-u64max