Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

init/do_mounts.c do_mount_root() -> init_mount()

Type Parameter Key Value
PARAM_VALUE 1 dir_name 2234362906974982144
PARAM_VALUE 2 type_page 4096-ptr_max
PARAM_VALUE 3 flags 0-s32max,18446744071562067968-u64max
PARAM_VALUE 4 data_page 0,4096-ptr_max
BUF_SIZE 0 dev_name (-1),10,64
BUF_SIZE 0 dev_name (-1),10,64
BUF_SIZE 1 dir_name 6
BUF_SIZE 2 type_page (-1),4-5,4096
BUF_SIZE 2 type_page (-1),4-5,4096
BUF_SIZE 4 data_page 0,4096
DATA_SOURCE 0 dev_name $0
DATA_SOURCE 2 type_page $1
DATA_SOURCE 3 flags $2
STR_LEN 0 dev_name (-1),3-4,9
STR_LEN 0 dev_name (-1),3-4,9
STR_LEN 1 dir_name 5
TERMINATED 1 dir_name 1

drivers/base/devtmpfs.c devtmpfs_mount() -> init_mount()

Type Parameter Key Value
PARAM_VALUE 0 dev_name 5704724767180111872
PARAM_VALUE 1 dir_name 6768653905073967104
PARAM_VALUE 2 type_page 5704724767180111872
PARAM_VALUE 3 flags 32778
PARAM_VALUE 4 data_page 0
BUF_SIZE 0 dev_name 9
BUF_SIZE 1 dir_name 4
BUF_SIZE 2 type_page 9
STR_LEN 0 dev_name 8
STR_LEN 1 dir_name 3
STR_LEN 2 type_page 8
TERMINATED 0 dev_name 1
TERMINATED 1 dir_name 1
TERMINATED 2 type_page 1

drivers/base/devtmpfs.c devtmpfs_setup() -> init_mount()

Type Parameter Key Value
PARAM_VALUE 0 dev_name 5704724767180111872
PARAM_VALUE 1 dir_name 959101290386378752
PARAM_VALUE 2 type_page 5704724767180111872
PARAM_VALUE 3 flags 32778
PARAM_VALUE 4 data_page 0
BUF_SIZE 0 dev_name 9
BUF_SIZE 1 dir_name 2
BUF_SIZE 2 type_page 9
STR_LEN 0 dev_name 8
STR_LEN 1 dir_name 1
STR_LEN 2 type_page 8
TERMINATED 0 dev_name 1
TERMINATED 1 dir_name 1
TERMINATED 2 type_page 1