Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/smb/server/smb_common.c ksmbd_smb_check_shared_mode() -> smb_shared_mode_error()

Type Parameter Key Value
PARAM_VALUE 0 error 0
PARAM_VALUE 1 prev_fp 4096-ptr_max
PARAM_VALUE 1 prev_fp->filp 4096-ptr_max
PARAM_VALUE 2 curr_fp 4096-ptr_max
PARAM_VALUE 2 curr_fp->daccess 65536-u32max
PARAM_VALUE 2 curr_fp->f_ci 4096-ptr_max
PARAM_VALUE 2 curr_fp->f_ci->m_lock.dep_map->name 0-255
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->handoff_set 1
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->type 0-1
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.owner (-1)
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 2 curr_fp->f_ci->sop_count.counter s32min-(-1),1-s32max
PARAM_VALUE 2 curr_fp->filp 4096-ptr_max
PARAM_VALUE 2 curr_fp->stream.name 1-u64max
CAPPED_DATA 1 prev_fp->attrib_only 1
CAPPED_DATA 1 &prev_fp->node 1
CAPPED_DATA 2 curr_fp 1
CAPPED_DATA 2 curr_fp->attrib_only 1
CAPPED_DATA 2 &curr_fp->f_ci->m_fp_list 1
CAPPED_DATA 2 &curr_fp->f_ci->m_lock 1
DATA_SOURCE 2 curr_fp $1
PARAM_COMPARE 2 curr_fp->attrib_only == $1->attrib_only
BIT_INFO 1 prev_fp->saccess 0x0,0xfffffffb
BIT_INFO 2 curr_fp->daccess 0x10000,0xffffffff
NOCHECK_CALL
LOCK2 2 &curr_fp->f_ci->m_lock
TYPE_LOCK (struct ksmbd_inode)->m_lock

fs/smb/server/smb_common.c ksmbd_smb_check_shared_mode() -> smb_shared_mode_error()

Type Parameter Key Value
PARAM_VALUE 0 error 1
PARAM_VALUE 1 prev_fp 4096-ptr_max
PARAM_VALUE 1 prev_fp->filp 4096-ptr_max
PARAM_VALUE 2 curr_fp 4096-ptr_max
PARAM_VALUE 2 curr_fp->daccess 1-u32max
PARAM_VALUE 2 curr_fp->f_ci 4096-ptr_max
PARAM_VALUE 2 curr_fp->f_ci->m_lock.dep_map->name 0-255
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->handoff_set 1
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->type 0-1
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.owner (-1)
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 2 curr_fp->f_ci->sop_count.counter s32min-(-1),1-s32max
PARAM_VALUE 2 curr_fp->filp 4096-ptr_max
PARAM_VALUE 2 curr_fp->stream.name 1-u64max
CAPPED_DATA 1 prev_fp->attrib_only 1
CAPPED_DATA 1 &prev_fp->node 1
CAPPED_DATA 2 curr_fp 1
CAPPED_DATA 2 curr_fp->attrib_only 1
CAPPED_DATA 2 &curr_fp->f_ci->m_fp_list 1
CAPPED_DATA 2 &curr_fp->f_ci->m_lock 1
DATA_SOURCE 2 curr_fp $1
PARAM_COMPARE 2 curr_fp->attrib_only == $1->attrib_only
BIT_INFO 1 prev_fp->saccess 0x0,0xfffffffe
NOCHECK_CALL
LOCK2 2 &curr_fp->f_ci->m_lock
TYPE_LOCK (struct ksmbd_inode)->m_lock

fs/smb/server/smb_common.c ksmbd_smb_check_shared_mode() -> smb_shared_mode_error()

Type Parameter Key Value
PARAM_VALUE 0 error 2
PARAM_VALUE 1 prev_fp 4096-ptr_max
PARAM_VALUE 1 prev_fp->filp 4096-ptr_max
PARAM_VALUE 2 curr_fp 4096-ptr_max
PARAM_VALUE 2 curr_fp->daccess 2-u32max
PARAM_VALUE 2 curr_fp->f_ci 4096-ptr_max
PARAM_VALUE 2 curr_fp->f_ci->m_lock.dep_map->name 0-255
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->handoff_set 1
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->type 0-1
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.owner (-1)
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 2 curr_fp->f_ci->sop_count.counter s32min-(-1),1-s32max
PARAM_VALUE 2 curr_fp->filp 4096-ptr_max
PARAM_VALUE 2 curr_fp->stream.name 1-u64max
CAPPED_DATA 1 prev_fp->attrib_only 1
CAPPED_DATA 1 &prev_fp->node 1
CAPPED_DATA 2 curr_fp 1
CAPPED_DATA 2 curr_fp->attrib_only 1
CAPPED_DATA 2 &curr_fp->f_ci->m_fp_list 1
CAPPED_DATA 2 &curr_fp->f_ci->m_lock 1
DATA_SOURCE 2 curr_fp $1
PARAM_COMPARE 2 curr_fp->attrib_only == $1->attrib_only
BIT_INFO 1 prev_fp->saccess 0x0,0xfffffffd
NOCHECK_CALL
LOCK2 2 &curr_fp->f_ci->m_lock
TYPE_LOCK (struct ksmbd_inode)->m_lock

fs/smb/server/smb_common.c ksmbd_smb_check_shared_mode() -> smb_shared_mode_error()

Type Parameter Key Value
PARAM_VALUE 0 error 3
PARAM_VALUE 1 prev_fp 4096-ptr_max
PARAM_VALUE 1 prev_fp->daccess 1-u32max
PARAM_VALUE 1 prev_fp->filp 4096-ptr_max
PARAM_VALUE 2 curr_fp 4096-ptr_max
PARAM_VALUE 2 curr_fp->f_ci 4096-ptr_max
PARAM_VALUE 2 curr_fp->f_ci->m_lock.dep_map->name 0-255
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->handoff_set 1
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->type 0-1
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.owner (-1)
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 2 curr_fp->f_ci->sop_count.counter s32min-(-1),1-s32max
PARAM_VALUE 2 curr_fp->filp 4096-ptr_max
PARAM_VALUE 2 curr_fp->stream.name 1-u64max
CAPPED_DATA 1 prev_fp->attrib_only 1
CAPPED_DATA 1 &prev_fp->node 1
CAPPED_DATA 2 curr_fp 1
CAPPED_DATA 2 curr_fp->attrib_only 1
CAPPED_DATA 2 &curr_fp->f_ci->m_fp_list 1
CAPPED_DATA 2 &curr_fp->f_ci->m_lock 1
DATA_SOURCE 2 curr_fp $1
PARAM_COMPARE 2 curr_fp->attrib_only == $1->attrib_only
BIT_INFO 2 curr_fp->saccess 0x0,0xfffffffe
NOCHECK_CALL
LOCK2 2 &curr_fp->f_ci->m_lock
TYPE_LOCK (struct ksmbd_inode)->m_lock

fs/smb/server/smb_common.c ksmbd_smb_check_shared_mode() -> smb_shared_mode_error()

Type Parameter Key Value
PARAM_VALUE 0 error 4
PARAM_VALUE 1 prev_fp 4096-ptr_max
PARAM_VALUE 1 prev_fp->daccess 2-u32max
PARAM_VALUE 1 prev_fp->filp 4096-ptr_max
PARAM_VALUE 2 curr_fp 4096-ptr_max
PARAM_VALUE 2 curr_fp->f_ci 4096-ptr_max
PARAM_VALUE 2 curr_fp->f_ci->m_lock.dep_map->name 0-255
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->handoff_set 1
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->type 0-1
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.owner (-1)
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 2 curr_fp->f_ci->sop_count.counter s32min-(-1),1-s32max
PARAM_VALUE 2 curr_fp->filp 4096-ptr_max
PARAM_VALUE 2 curr_fp->stream.name 1-u64max
CAPPED_DATA 1 prev_fp->attrib_only 1
CAPPED_DATA 1 &prev_fp->node 1
CAPPED_DATA 2 curr_fp 1
CAPPED_DATA 2 curr_fp->attrib_only 1
CAPPED_DATA 2 &curr_fp->f_ci->m_fp_list 1
CAPPED_DATA 2 &curr_fp->f_ci->m_lock 1
DATA_SOURCE 2 curr_fp $1
PARAM_COMPARE 2 curr_fp->attrib_only == $1->attrib_only
BIT_INFO 2 curr_fp->saccess 0x0,0xfffffffd
NOCHECK_CALL
LOCK2 2 &curr_fp->f_ci->m_lock
TYPE_LOCK (struct ksmbd_inode)->m_lock

fs/smb/server/smb_common.c ksmbd_smb_check_shared_mode() -> smb_shared_mode_error()

Type Parameter Key Value
PARAM_VALUE 0 error 5
PARAM_VALUE 1 prev_fp 4096-ptr_max
PARAM_VALUE 1 prev_fp->daccess 65536-u32max
PARAM_VALUE 1 prev_fp->filp 4096-ptr_max
PARAM_VALUE 2 curr_fp 4096-ptr_max
PARAM_VALUE 2 curr_fp->f_ci 4096-ptr_max
PARAM_VALUE 2 curr_fp->f_ci->m_lock.dep_map->name 0-255
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->handoff_set 1
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 2 curr_fp->f_ci->m_lock.first_waiter->type 0-1
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.owner (-1)
PARAM_VALUE 2 curr_fp->f_ci->m_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 2 curr_fp->f_ci->sop_count.counter s32min-(-1),1-s32max
PARAM_VALUE 2 curr_fp->filp 4096-ptr_max
PARAM_VALUE 2 curr_fp->stream.name 1-u64max
CAPPED_DATA 1 prev_fp->attrib_only 1
CAPPED_DATA 1 &prev_fp->node 1
CAPPED_DATA 2 curr_fp 1
CAPPED_DATA 2 curr_fp->attrib_only 1
CAPPED_DATA 2 &curr_fp->f_ci->m_fp_list 1
CAPPED_DATA 2 &curr_fp->f_ci->m_lock 1
DATA_SOURCE 2 curr_fp $1
PARAM_COMPARE 2 curr_fp->attrib_only == $1->attrib_only
BIT_INFO 1 prev_fp->daccess 0x10000,0xffffffff
BIT_INFO 2 curr_fp->saccess 0x0,0xfffffffb
NOCHECK_CALL
LOCK2 2 &curr_fp->f_ci->m_lock
TYPE_LOCK (struct ksmbd_inode)->m_lock