Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/open.c __do_compat_sys_open() -> do_sys_open()

Type Parameter Key Value
PARAM_VALUE 0 dfd (-100)
DATA_SOURCE 1 filename $0
DATA_SOURCE 2 flags $1
DATA_SOURCE 3 mode $2
USER_DATA 1 filename 0-u64max
USER_DATA 2 flags s32min-s32max
USER_DATA 3 mode 0-u16max

fs/open.c __do_compat_sys_open() -> do_sys_open()

Type Parameter Key Value
PARAM_VALUE 0 dfd (-100)
DATA_SOURCE 1 filename $0
DATA_SOURCE 2 flags $1
DATA_SOURCE 3 mode $2
USER_DATA 1 filename 0-u64max
USER_DATA 2 flags s32min-s32max
USER_DATA 3 mode 0-u16max

fs/open.c __do_compat_sys_openat() -> do_sys_open()

Type Parameter Key Value
DATA_SOURCE 0 dfd $0
DATA_SOURCE 1 filename $1
DATA_SOURCE 2 flags $2
DATA_SOURCE 3 mode $3
USER_DATA 0 dfd s32min-s32max
USER_DATA 1 filename 0-u64max
USER_DATA 2 flags s32min-s32max
USER_DATA 3 mode 0-u16max

fs/open.c __do_compat_sys_openat() -> do_sys_open()

Type Parameter Key Value
DATA_SOURCE 0 dfd $0
DATA_SOURCE 1 filename $1
DATA_SOURCE 2 flags $2
DATA_SOURCE 3 mode $3
USER_DATA 0 dfd s32min-s32max
USER_DATA 1 filename 0-u64max
USER_DATA 2 flags s32min-s32max
USER_DATA 3 mode 0-u16max

fs/open.c __do_sys_creat() -> do_sys_open()

Type Parameter Key Value
PARAM_VALUE 0 dfd (-100)
PARAM_VALUE 2 flags 33345
DATA_SOURCE 1 filename $0
DATA_SOURCE 3 mode $1
USER_DATA 1 filename 0-u64max
USER_DATA 3 mode 0-u16max

fs/open.c __do_sys_creat() -> do_sys_open()

Type Parameter Key Value
PARAM_VALUE 0 dfd (-100)
PARAM_VALUE 2 flags 33345
DATA_SOURCE 1 filename $0
DATA_SOURCE 3 mode $1
USER_DATA 1 filename 0-u64max
USER_DATA 3 mode 0-u16max

fs/open.c __do_sys_open() -> do_sys_open()

Type Parameter Key Value
PARAM_VALUE 0 dfd (-100)
PARAM_VALUE 2 flags 0,32768-s32max
DATA_SOURCE 1 filename $0
DATA_SOURCE 2 flags $1 [m]
DATA_SOURCE 3 mode $2
BIT_INFO 2 flags 0x8000,0x7fffffff
USER_DATA 1 filename 0-u64max
USER_DATA 2 flags 0,32768-s32max
USER_DATA 3 mode 0-u16max

fs/open.c __do_sys_open() -> do_sys_open()

Type Parameter Key Value
PARAM_VALUE 0 dfd (-100)
PARAM_VALUE 2 flags 0,32768-s32max
DATA_SOURCE 1 filename $0
DATA_SOURCE 2 flags $1 [m]
DATA_SOURCE 3 mode $2
BIT_INFO 2 flags 0x8000,0x7fffffff
USER_DATA 1 filename 0-u64max
USER_DATA 2 flags 0,32768-s32max
USER_DATA 3 mode 0-u16max

fs/open.c __do_sys_openat() -> do_sys_open()

Type Parameter Key Value
PARAM_VALUE 2 flags 0,32768-s32max
DATA_SOURCE 0 dfd $0
DATA_SOURCE 1 filename $1
DATA_SOURCE 2 flags $2 [m]
DATA_SOURCE 3 mode $3
BIT_INFO 2 flags 0x8000,0x7fffffff
USER_DATA 0 dfd s32min-s32max
USER_DATA 1 filename 0-u64max
USER_DATA 2 flags 0,32768-s32max
USER_DATA 3 mode 0-u16max

fs/open.c __do_sys_openat() -> do_sys_open()

Type Parameter Key Value
PARAM_VALUE 2 flags 0,32768-s32max
DATA_SOURCE 0 dfd $0
DATA_SOURCE 1 filename $1
DATA_SOURCE 2 flags $2 [m]
DATA_SOURCE 3 mode $3
BIT_INFO 2 flags 0x8000,0x7fffffff
USER_DATA 0 dfd s32min-s32max
USER_DATA 1 filename 0-u64max
USER_DATA 2 flags 0,32768-s32max
USER_DATA 3 mode 0-u16max