Defined in 1 files as a function:
Referenced in 4 files:
- fs/proc/array.c, line 116
- include/linux/seq_file.h, line 162
- kernel/printk/index.c, line 71
- lib/dynamic_debug.c, line 1150
Smatch caller information:
fs/hfs/super.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | src | 6570699494095450112,7603076914409525248,7981703492693458944 |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 7316914147387969536,7587614211071717376 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | 5,8 |
| BUF_SIZE | 1 | src | 5,8 |
| BUF_SIZE | 3 | esc | 6-7 |
| BUF_SIZE | 3 | esc | 6-7 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 4,7 |
| STR_LEN | 0 | m | 4,7 |
| STR_LEN | 1 | src | 5-6 |
| STR_LEN | 1 | src | 5-6 |
| TERMINATED | 1 | src | 1 |
| TERMINATED | 3 | esc | 1 |
| HARD_MAX | 0 | m->lock.wait_lock.owner_cpu | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11294967294 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
fs/overlayfs/params.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | src | 1-u64max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 7316914147387969536,7587614211071717376 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | (-1),8-10 |
| BUF_SIZE | 1 | src | (-1),8-10 |
| BUF_SIZE | 3 | esc | 6-7 |
| BUF_SIZE | 3 | esc | 6-7 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 7-9 |
| STR_LEN | 0 | m | 7-9 |
| STR_LEN | 1 | src | 5-6 |
| STR_LEN | 1 | src | 5-6 |
| TERMINATED | 3 | esc | 1 |
| HARD_MAX | 0 | m->lock.wait_lock.owner_cpu | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11294967294 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
fs/nfs/super.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | src | 0-ptr_max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 5065943269200814080 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 3 | esc | 5 |
| BUF_SIZE | 3 | esc | 5 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 4 |
| STR_LEN | 0 | m | 4 |
| TERMINATED | 3 | esc | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941[c] |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
fs/ocfs2/super.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | src | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 7316914147387969536,7587614211071717376 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | 5,14 |
| BUF_SIZE | 1 | src | 5,14 |
| BUF_SIZE | 3 | esc | 6-7 |
| BUF_SIZE | 3 | esc | 6-7 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 13 |
| STR_LEN | 0 | m | 13 |
| STR_LEN | 1 | src | 5-6 |
| STR_LEN | 1 | src | 5-6 |
| TERMINATED | 3 | esc | 1 |
| HARD_MAX | 0 | m->lock.wait_lock.owner_cpu | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11294967294 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
net/ceph/ceph_common.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 1 | src | 1-u64max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 7587614211071717376 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 3 | esc | 6 |
| BUF_SIZE | 3 | esc | 6 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 5 |
| STR_LEN | 0 | m | 5 |
| TERMINATED | 3 | esc | 1 |
| HARD_MAX | 0 | m->lock.wait_lock.owner_cpu | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | 0 | &m->lock |
fs/proc/array.c proc_task_name() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 1-u64max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | m->op | 4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 4096-ptr_max |
| PARAM_VALUE | 1 | src | 8369783978767187968 |
| PARAM_VALUE | 2 | flags | 3 |
| PARAM_VALUE | 3 | esc | 5884832402331901952 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | 64 |
| BUF_SIZE | 3 | esc | 3 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| STR_LEN | 0 | m | 2 |
| TERMINATED | 3 | esc | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941[c] |
| LOCK2 | 0 | &m->lock | |
| TYPE_LOCK | (struct seq_file)->lock |
fs/hfsplus/options.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | src | 1495101672072581120,6570699494095450112,7603076914409525248 |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 7316914147387969536,7587614211071717376 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | 5,8 |
| BUF_SIZE | 1 | src | 5,8 |
| BUF_SIZE | 3 | esc | 6-7 |
| BUF_SIZE | 3 | esc | 6-7 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 4,7 |
| STR_LEN | 0 | m | 4,7 |
| STR_LEN | 1 | src | 5-6 |
| STR_LEN | 1 | src | 5-6 |
| TERMINATED | 1 | src | 1 |
| TERMINATED | 3 | esc | 1 |
| HARD_MAX | 0 | m->lock.wait_lock.owner_cpu | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11294967294 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
fs/nfsd/export.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 1-u64max |
| PARAM_VALUE | 0 | m->file | 4096-ptr_max |
| PARAM_VALUE | 0 | m->file->f_path.dentry | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | m->op | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 4211542623649665024,5065943269200814080 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 3 | esc | 5,8 |
| BUF_SIZE | 3 | esc | 5,8 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 4,7 |
| STR_LEN | 0 | m | 4,7 |
| TERMINATED | 3 | esc | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941[c] |
| LOCK2 | 0 | &m->lock | |
| TYPE_LOCK | (struct seq_file)->lock |
kernel/cgroup/cgroup.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | src | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 5065943269200814080 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | 4096 |
| BUF_SIZE | 1 | src | 4096 |
| BUF_SIZE | 3 | esc | 5 |
| BUF_SIZE | 3 | esc | 5 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 4 |
| STR_LEN | 0 | m | 4 |
| TERMINATED | 3 | esc | 1 |
| HARD_MAX | 0 | m->lock.wait_lock.owner_cpu | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11294967294 |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
kernel/cgroup/cgroup-v1.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 7316914147387969536,7587614211071717376 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | (-1),5,14,64,4096 |
| BUF_SIZE | 1 | src | (-1),5,14,64,4096 |
| BUF_SIZE | 3 | esc | 6-7 |
| BUF_SIZE | 3 | esc | 6-7 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | (-1),4,13 |
| STR_LEN | 0 | m | (-1),4,13 |
| STR_LEN | 1 | src | 5-6 |
| STR_LEN | 1 | src | 5-6 |
| TERMINATED | 3 | esc | 1 |
| HARD_MAX | 0 | m->lock.wait_lock.owner_cpu | u32max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11294967294 |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | global &release_agent_path_lock | ||
| HALF_LOCKED2 | 0 | &m->lock |
fs/proc_namespace.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 1-u64max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | m->op | 4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 660483051160948736 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | (-1),1-s32max |
| BUF_SIZE | 1 | src | (-1),1-s32max |
| BUF_SIZE | 3 | esc | 6 |
| BUF_SIZE | 3 | esc | 6 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 5 |
| STR_LEN | 0 | m | 5 |
| TERMINATED | 3 | esc | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| LOCK2 | 0 | &m->lock | |
| TYPE_LOCK | (struct seq_file)->lock |
fs/gfs2/super.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | src | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 7316914147387969536,7587614211071717376 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | 9-10,64 |
| BUF_SIZE | 1 | src | 9-10,64 |
| BUF_SIZE | 3 | esc | 6-7 |
| BUF_SIZE | 3 | esc | 6-7 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 8-9 |
| STR_LEN | 0 | m | 8-9 |
| STR_LEN | 1 | src | 5-6 |
| STR_LEN | 1 | src | 5-6 |
| TERMINATED | 3 | esc | 1 |
| HARD_MAX | 0 | m->lock.wait_lock.owner_cpu | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11294967294 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
fs/btrfs/super.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 5065943269200814080,7316914147387969536,7587614211071717376 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | (-1),7,15,4096 |
| BUF_SIZE | 1 | src | (-1),7,15,4096 |
| BUF_SIZE | 3 | esc | 5-7 |
| BUF_SIZE | 3 | esc | 5-7 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 4,6 |
| STR_LEN | 0 | m | 4,6 |
| STR_LEN | 1 | src | (-1),5-6 |
| STR_LEN | 1 | src | (-1),5-6 |
| TERMINATED | 3 | esc | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &m->lock |
kernel/printk/index.c pi_show() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 1-u64max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | m->op | 4096-ptr_max |
| PARAM_VALUE | 1 | src | 1-u64max |
| PARAM_VALUE | 2 | flags | 399 |
| PARAM_VALUE | 3 | esc | 3193806068036890624 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | 8,10,16 |
| BUF_SIZE | 3 | esc | 3 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| STR_LEN | 0 | m | 2 |
| TERMINATED | 3 | esc | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-13442450941 |
| LOCK2 | 0 | &m->lock | |
| TYPE_LOCK | (struct seq_file)->lock |
kernel/printk/index.c pi_show() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 1-u64max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | m->op | 4096-ptr_max |
| PARAM_VALUE | 1 | src | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 399 |
| PARAM_VALUE | 3 | esc | 3193806068036890624 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 3 | esc | 3 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| STR_LEN | 0 | m | 2 |
| TERMINATED | 3 | esc | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-13442450941 |
| LOCK2 | 0 | &m->lock | |
| TYPE_LOCK | (struct seq_file)->lock |
fs/f2fs/super.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | src | 1-u64max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 7316914147387969536,7587614211071717376 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | (-1),5,7,10,12 |
| BUF_SIZE | 1 | src | (-1),5,7,10,12 |
| BUF_SIZE | 3 | esc | 6-7 |
| BUF_SIZE | 3 | esc | 6-7 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 9,11 |
| STR_LEN | 0 | m | 9,11 |
| STR_LEN | 1 | src | (-1),4-6 |
| STR_LEN | 1 | src | (-1),4-6 |
| STR_LEN | 2 | flags | (-1),6 |
| STR_LEN | 3 | esc | (-1),6 |
| TERMINATED | 3 | esc | 1 |
| HARD_MAX | 0 | m->lock.wait_lock.owner_cpu | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11294967294 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
fs/xfs/xfs_super.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | src | 1-u64max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 7316914147387969536,7587614211071717376 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | (-1),6-7 |
| BUF_SIZE | 1 | src | (-1),6-7 |
| BUF_SIZE | 3 | esc | 6-7 |
| BUF_SIZE | 3 | esc | 6-7 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 5-6 |
| STR_LEN | 0 | m | 5-6 |
| STR_LEN | 1 | src | 5-6 |
| STR_LEN | 1 | src | 5-6 |
| TERMINATED | 3 | esc | 1 |
| HARD_MAX | 0 | m->lock.wait_lock.owner_cpu | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11294967294 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
fs/ceph/super.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | src | 1-u64max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 7316914147387969536,7587614211071717376 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | (-1),4,6,12,14,16 |
| BUF_SIZE | 1 | src | (-1),4,6,12,14,16 |
| BUF_SIZE | 3 | esc | 6-7 |
| BUF_SIZE | 3 | esc | 6-7 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 3,11,13,15 |
| STR_LEN | 0 | m | 3,11,13,15 |
| STR_LEN | 1 | src | (-1),5 |
| STR_LEN | 1 | src | (-1),5 |
| STR_LEN | 2 | flags | (-1),6 |
| STR_LEN | 3 | esc | (-1),6 |
| TERMINATED | 3 | esc | 1 |
| HARD_MAX | 0 | m->lock.wait_lock.owner_cpu | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11294967294 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
security/selinux/hooks.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 5968758371877842944 |
| BUF_SIZE | 3 | esc | 4 |
| BUF_SIZE | 3 | esc | 4 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 3 |
| STR_LEN | 0 | m | 3 |
| TERMINATED | 3 | esc | 1 |
| NOCHECK_CALL |
fs/smb/client/cifsfs.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | src | 1-u64max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 3264896212844449792,7316914147387969536,7587614211071717376 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | (-1),4-5,7-9,11 |
| BUF_SIZE | 1 | src | (-1),4-5,7-9,11 |
| BUF_SIZE | 3 | esc | 3,6-7 |
| BUF_SIZE | 3 | esc | 3,6-7 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 2,4,6-8 |
| STR_LEN | 0 | m | 2,4,6-8 |
| STR_LEN | 1 | src | (-1),5-6 |
| STR_LEN | 1 | src | (-1),5-6 |
| TERMINATED | 3 | esc | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941 |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
lib/dynamic_debug.c ddebug_proc_show() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 1-u64max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | m->op | 4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 1 |
| PARAM_VALUE | 3 | esc | 3271994054976077824 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | 1-126,128-142,144-145,147-148,150-155,158,160-162,165,169,172,174,177,180,184,187,190-192,199,202,208,210-211,221-222,230,238,242,251,274,354,402,438,450,529,591,629,1030,1049 |
| BUF_SIZE | 3 | esc | 5 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| STR_LEN | 0 | m | 4 |
| TERMINATED | 3 | esc | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-13442450941 |
| LOCK2 | 0 | &m->lock | |
| TYPE_LOCK | (struct seq_file)->lock |
fs/ext4/super.c seq_escape() -> seq_escape_str()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | src | 1-u64max |
| PARAM_VALUE | 2 | flags | 8 |
| PARAM_VALUE | 3 | esc | 7316914147387969536,7587614211071717376 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | src | (-1),10 |
| BUF_SIZE | 1 | src | (-1),10 |
| BUF_SIZE | 3 | esc | 6-7 |
| BUF_SIZE | 3 | esc | 6-7 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 3 | esc | $2 |
| STR_LEN | 0 | m | 9 |
| STR_LEN | 0 | m | 9 |
| STR_LEN | 1 | src | 5-6 |
| STR_LEN | 1 | src | 5-6 |
| TERMINATED | 3 | esc | 1 |
| HARD_MAX | 0 | m->lock.wait_lock.owner_cpu | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11294967294 |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &m->lock |