Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

security/loadpin/loadpin.c read_trusted_verity_root_digests() -> kernel_read_file()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 buf 5228670243885719552
PARAM_VALUE 2 *buf 4096-ptr_max
PARAM_VALUE 3 buf_size 4095
PARAM_VALUE 4 file_size 0
PARAM_VALUE 5 id 5

fs/kernel_read_file.c kernel_read_file_from_fd() -> kernel_read_file()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 buf 4096-ptr_max
PARAM_VALUE 3 buf_size 4294967296
PARAM_VALUE 4 file_size 0
PARAM_VALUE 5 id 3-4
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 buf $2
DATA_SOURCE 3 buf_size $3
DATA_SOURCE 4 file_size $4
DATA_SOURCE 5 id $5
HARD_MAX 5 id 4

fs/kernel_read_file.c kernel_read_file_from_path() -> kernel_read_file()

Type Parameter Key Value
PARAM_VALUE 0 file 0-ptr_max
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 buf 4096-ptr_max
PARAM_VALUE 3 buf_size s32max
PARAM_VALUE 4 file_size 0
PARAM_VALUE 5 id 5-6
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 0 file (-1)-s32max
DATA_SOURCE 0 file r filp_open
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 buf $2
DATA_SOURCE 3 buf_size $3
DATA_SOURCE 4 file_size $4
DATA_SOURCE 5 id $5
HARD_MAX 5 id 6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &ima_write_mutex

fs/kernel_read_file.c kernel_read_file_from_path_initns() -> kernel_read_file()

Type Parameter Key Value
PARAM_VALUE 0 file 0-ptr_max
PARAM_VALUE 2 buf 720626545627344896
PARAM_VALUE 4 file_size 0,1422141361968336896
PARAM_VALUE 4 *file_size 0
PARAM_VALUE 5 id 1
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 4 file_size 0,8
BUF_SIZE 4 file_size 0,8
DATA_SOURCE 0 file r filp_open
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 buf $2
DATA_SOURCE 3 buf_size $3
DATA_SOURCE 4 file_size $4
DATA_SOURCE 5 id $5
BIT_INFO 4 file_size 0x0,0x13bc7608ac835000
BIT_INFO 4 file_size 0x0,0x13bc7608ac835000
RX_PATH
UNITS 3 buf_size unit_byte

kernel/module/main.c init_module_from_file() -> kernel_read_file()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 buf 4705019249219002368
PARAM_VALUE 2 *buf 0
PARAM_VALUE 2 *(*buf) 0
PARAM_VALUE 3 buf_size s32max
PARAM_VALUE 4 file_size 0
PARAM_VALUE 5 id 2,7
DATA_SOURCE 0 file $0
FUZZY_MAX 5 id 7
BIT_INFO 0 file->f_mode 0x1,0xffffffffffffffff
BIT_INFO 5 id 0x2,0x7
HARD_MAX 5 id 7