Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/events/hw_breakpoint.c modify_user_hw_breakpoint_check() -> hw_breakpoint_copy_attr()

Type Parameter Key Value
PARAM_VALUE 0 to 3078365535566368768
PARAM_VALUE 1 from 1999393905348517888,7294364977342070784,8430341497750159360
PARAM_VALUE 1 from->bp_type 2-4
CAPPED_DATA 1 from->bp_addr 1
CAPPED_DATA 1 from->type 1
DATA_SOURCE 1 from $1
NOSPEC 1 from->bp_type
NOCHECK_CALL
USER_DATA 0 to->sig_data 0-u64max
USER_DATA 1 from->__reserved_2 0-u16max
USER_DATA 1 from->aux_action 0-u32max
USER_DATA 1 from->aux_sample_size 0-u32max
USER_DATA 1 from->aux_watermark 0-u32max
USER_DATA 1 from->bp_addr 0-u64max[c]
USER_DATA 1 from->bp_len 0-u64max
USER_DATA 1 from->bp_type 2-4
USER_DATA 1 from->branch_sample_type 0-u64max
USER_DATA 1 from->clockid s32min-s32max
USER_DATA 1 from->config 0-u64max
USER_DATA 1 from->config1 0-u64max
USER_DATA 1 from->config2 0-u64max
USER_DATA 1 from->config3 0-u64max
USER_DATA 1 from->config4 0-u64max
USER_DATA 1 from->kprobe_addr 0-u64max
USER_DATA 1 from->kprobe_func 0-u64max
USER_DATA 1 from->probe_offset 0-u64max
USER_DATA 1 from->read_format 0-u64max
USER_DATA 1 from->sample_freq 0-u64max
USER_DATA 1 from->sample_max_stack 127
USER_DATA 1 from->sample_period 0-u64max
USER_DATA 1 from->sample_regs_intr 0-u64max
USER_DATA 1 from->sample_regs_user 0-u64max
USER_DATA 1 from->sample_stack_user 0-u32max
USER_DATA 1 from->sample_type 0-u64max
USER_DATA 1 from->sig_data 0-u64max
USER_DATA 1 from->size 144
USER_DATA 1 from->uprobe_path 0-u64max
USER_DATA 1 from->wakeup_events 0-u32max
USER_DATA 1 from->wakeup_watermark 0-u32max
HALF_LOCKED2 &bp->child_mutex
HALF_LOCKED2 &event->child_mutex
TYPE_LOCK (struct perf_event)->child_mutex

kernel/events/hw_breakpoint.c modify_user_hw_breakpoint_check() -> hw_breakpoint_copy_attr()

Type Parameter Key Value
PARAM_VALUE 0 to 4096-ptr_max
PARAM_VALUE 1 from 1999393905348517888,7294364977342070784,8430341497750159360
PARAM_VALUE 1 from->bp_type 2-4
CAPPED_DATA 1 from->bp_addr 1
CAPPED_DATA 1 from->bp_type 1
DATA_SOURCE 1 from $1
NOSPEC 1 from->bp_type
NOCHECK_CALL
USER_DATA 0 to->sig_data 0-u64max
USER_DATA 1 from->__reserved_2 0-u16max
USER_DATA 1 from->aux_action 0-u32max
USER_DATA 1 from->aux_sample_size 0-u32max
USER_DATA 1 from->aux_watermark 0-u32max
USER_DATA 1 from->bp_addr 0-u64max[c]
USER_DATA 1 from->bp_len 0-u64max
USER_DATA 1 from->bp_type 2-4[c]
USER_DATA 1 from->branch_sample_type 0-u64max
USER_DATA 1 from->clockid s32min-s32max
USER_DATA 1 from->config 0-u64max
USER_DATA 1 from->config1 0-u64max
USER_DATA 1 from->config2 0-u64max
USER_DATA 1 from->config3 0-u64max
USER_DATA 1 from->config4 0-u64max
USER_DATA 1 from->disabled 0[c]
USER_DATA 1 from->kprobe_addr 0-u64max
USER_DATA 1 from->kprobe_func 0-u64max
USER_DATA 1 from->probe_offset 0-u64max
USER_DATA 1 from->read_format 0-u64max
USER_DATA 1 from->sample_freq 0-u64max
USER_DATA 1 from->sample_max_stack 127
USER_DATA 1 from->sample_period 0-u64max
USER_DATA 1 from->sample_regs_intr 0-u64max
USER_DATA 1 from->sample_regs_user 0-u64max
USER_DATA 1 from->sample_stack_user 0-u32max
USER_DATA 1 from->sample_type 0-u64max
USER_DATA 1 from->sig_data 0-u64max
USER_DATA 1 from->size 144
USER_DATA 1 from->uprobe_path 0-u64max
USER_DATA 1 from->wakeup_events 0-u32max
USER_DATA 1 from->wakeup_watermark 0-u32max