Documented in 1 files:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/lib/msr.c __flip_bit() -> msr_write()

Type Parameter Key Value
PARAM_VALUE 1 m 2002707646139604992
DATA_SOURCE 0 msr $0
RX_PATH
TASK_NOT_RUNNING

fs/read_write.c vfs_write() -> (struct file_operations)->write()

Type Parameter Key Value
PARAM_VALUE 0 msr 4096-ptr_max
PARAM_VALUE 0 msr->f_op 4096-ptr_max
PARAM_VALUE 0 msr->f_op->write 1-u64max
PARAM_VALUE 2 count 0-1000000000,2147479552
PARAM_VALUE 3 *ppos 0-1000000000
BUF_SIZE 3 ppos (-1),8
BUF_SIZE 3 ppos (-1),8
CAPPED_DATA 1 m 1
DATA_SOURCE 0 msr $0
DATA_SOURCE 1 m $1
DATA_SOURCE 2 count $2 [m]
DATA_SOURCE 3 ppos $3
FUZZY_MAX 2 count 2147479552
CONTAINER 0 -32-80+0 $(-1)
BIT_INFO 0 msr->f_mode 0x40002,0xffffffffffffffff
USER_DATA 1 m 0-u64max[c]
USER_DATA 2 count 0-1000000000
USER_DATA 3 *ppos 0-1000000000
USER_PTR 3 ppos