Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ntfs3/index.c indx_insert_into_buffer() -> hdr_insert_de()

Type Parameter Key Value
PARAM_VALUE 0 indx 4096-ptr_max
PARAM_VALUE 0 indx->run_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 indx->run_lock.first_waiter->type 0-1
PARAM_VALUE 1 hdr 4096-ptr_max
PARAM_VALUE 2 de 4096-ptr_max
PARAM_VALUE 5 cmp 4096-ptr_max
BUF_SIZE 0 indx (-1),224
BUF_SIZE 0 indx (-1),224
BUF_SIZE 1 hdr 16
BUF_SIZE 2 de (-1),8-65543
BUF_SIZE 2 de (-1),8-65543
BUF_SIZE 4 ctx (-1),1-s32max
BUF_SIZE 4 ctx (-1),1-s32max
BUF_SIZE 5 cmp (-1),8
BUF_SIZE 5 cmp (-1),8
DATA_SOURCE 0 indx $0
DATA_SOURCE 2 de $3
DATA_SOURCE 4 ctx $4
DATA_SOURCE 5 cmp $7
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 indx->alloc_run.allocated
UNITS 4 ctx unit_byte
HALF_LOCKED2 &ni->ni_lock

fs/ntfs3/index.c indx_insert_into_buffer() -> hdr_insert_de()

Type Parameter Key Value
PARAM_VALUE 0 indx 4096-ptr_max
PARAM_VALUE 0 indx->alloc_run.count 1-u64max
PARAM_VALUE 0 indx->alloc_run.runs 1-u64max
PARAM_VALUE 0 indx->run_lock.dep_map->name 0-255
PARAM_VALUE 0 indx->run_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 indx->run_lock.first_waiter->list.next 2212933610777083904,2624917664208203776
PARAM_VALUE 0 indx->run_lock.first_waiter->list.prev 2212933610777083904,2624917664208203776
PARAM_VALUE 0 indx->run_lock.first_waiter->type 0-1
PARAM_VALUE 1 hdr 4096-ptr_max
PARAM_VALUE 1 hdr->de_off 0-4294967294
PARAM_VALUE 2 de 4096-ptr_max
PARAM_VALUE 3 before 0
PARAM_VALUE 5 cmp 4096-ptr_max
BUF_SIZE 0 indx (-1),224
BUF_SIZE 0 indx (-1),224
BUF_SIZE 2 de (-1),8-65543
BUF_SIZE 2 de (-1),8-65543
BUF_SIZE 4 ctx (-1),1-s32max
BUF_SIZE 4 ctx (-1),1-s32max
BUF_SIZE 5 cmp (-1),8
BUF_SIZE 5 cmp (-1),8
DATA_SOURCE 0 indx $0
DATA_SOURCE 2 de $3
DATA_SOURCE 4 ctx $4
DATA_SOURCE 5 cmp $7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 indx->alloc_run.allocated
UNITS 4 ctx unit_byte
HALF_LOCKED2 &ni->ni_lock

fs/ntfs3/index.c indx_insert_into_root() -> hdr_insert_de()

Type Parameter Key Value
PARAM_VALUE 0 indx 4096-ptr_max
PARAM_VALUE 0 indx->run_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 indx->run_lock.first_waiter->type 0-1
PARAM_VALUE 1 hdr 4096-ptr_max
PARAM_VALUE 2 de 4096-ptr_max
PARAM_VALUE 5 cmp 4096-ptr_max
BUF_SIZE 0 indx (-1),224
BUF_SIZE 0 indx (-1),224
BUF_SIZE 1 hdr 16
BUF_SIZE 2 de (-1)-s32max
BUF_SIZE 2 de (-1)-s32max
BUF_SIZE 4 ctx (-1),1-s32max
BUF_SIZE 4 ctx (-1),1-s32max
BUF_SIZE 5 cmp (-1),8
BUF_SIZE 5 cmp (-1),8
DATA_SOURCE 0 indx $0
DATA_SOURCE 2 de $2
DATA_SOURCE 3 before $3
DATA_SOURCE 4 ctx $4
DATA_SOURCE 5 cmp $7
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 indx->alloc_run.allocated
UNITS 4 ctx unit_byte
HALF_LOCKED2 &ni->ni_lock

fs/ntfs3/index.c indx_insert_into_root() -> hdr_insert_de()

Type Parameter Key Value
PARAM_VALUE 0 indx 4096-ptr_max
PARAM_VALUE 0 indx->alloc_run.count 1-u64max
PARAM_VALUE 0 indx->alloc_run.runs 1-u64max
PARAM_VALUE 0 indx->run_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 indx->run_lock.first_waiter->type 0-1
PARAM_VALUE 1 hdr 4096-ptr_max
PARAM_VALUE 1 hdr->de_off 0,48-15672
PARAM_VALUE 1 hdr->total 16-3999976,4294967272-u32max
PARAM_VALUE 1 hdr->used 16,24,64-15696
PARAM_VALUE 2 de 4096-ptr_max
PARAM_VALUE 3 before 0
PARAM_VALUE 5 cmp 4096-ptr_max
BUF_SIZE 0 indx (-1),224
BUF_SIZE 0 indx (-1),224
BUF_SIZE 1 hdr 16
BUF_SIZE 2 de (-1)-s32max
BUF_SIZE 2 de (-1)-s32max
BUF_SIZE 4 ctx (-1),1-s32max
BUF_SIZE 4 ctx (-1),1-s32max
BUF_SIZE 5 cmp (-1),8
BUF_SIZE 5 cmp (-1),8
CAPPED_DATA 1 hdr->de_off 1
DATA_SOURCE 0 indx $0
DATA_SOURCE 2 de $2
DATA_SOURCE 4 ctx $4
DATA_SOURCE 5 cmp $7
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 indx->alloc_run.allocated
UNITS 4 ctx unit_byte
HALF_LOCKED2 &ni->ni_lock