Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dlm/plock.c dev_write() -> dlm_plock_callback()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->data 1-u64max
PARAM_VALUE 0 op->done 1
PARAM_VALUE 0 op->list.next->prev 4096-ptr_max
PARAM_VALUE 0 op->list.prev->next 4096-ptr_max
CAPPED_DATA 0 op->info.fsid 1
NOCHECK_CALL
USER_DATA 0 op->info.end 0-u64max
USER_DATA 0 op->info.ex 0-255
USER_DATA 0 op->info.flags 0-255
USER_DATA 0 op->info.fsid 0-u32max[c]
USER_DATA 0 op->info.nodeid s32min-s32max
USER_DATA 0 op->info.number 0-u64max
USER_DATA 0 op->info.optype 0-255
USER_DATA 0 op->info.owner 0-u64max
USER_DATA 0 op->info.pid 0-u32max
USER_DATA 0 op->info.rv s32min-s32max
USER_DATA 0 op->info.start 0-u64max
USER_DATA 0 op->info.wait 0-255
USER_PTR 0 op->info.version