Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/irq/manage.c __setup_irq() -> register_handler_proc()

Type Parameter Key Value
PARAM_VALUE 0 irq 0
PARAM_VALUE 1 action 4096-ptr_max
PARAM_VALUE 1 action->dir 0
PARAM_VALUE 1 action->irq 0
PARAM_VALUE 1 action->secondary->thread 0,4096-ptr_max
PARAM_VALUE 1 action->secondary->thread->__state 0,512
PARAM_VALUE 1 action->secondary->thread->core_node.__rb_parent_color 1
PARAM_VALUE 1 action->secondary->thread->core_node.rb_left 4096-ptr_max
PARAM_VALUE 1 action->secondary->thread->core_node.rb_right 4096-ptr_max
PARAM_VALUE 1 action->secondary->thread->cpus_ptr 4096-ptr_max
PARAM_VALUE 1 action->secondary->thread->delays->blkio_count 0-4294967295
PARAM_VALUE 1 action->secondary->thread->delays->blkio_delay_max 1-s64max
PARAM_VALUE 1 action->secondary->thread->delays->blkio_delay_max_ts.tv_nsec 0-999999999
PARAM_VALUE 1 action->secondary->thread->delays->blkio_delay_min 1-s64max
PARAM_VALUE 1 action->secondary->thread->delays->lock.dep_map->name 0-255
PARAM_VALUE 1 action->secondary->thread->delays->lock.owner (-1)
PARAM_VALUE 1 action->secondary->thread->delays->lock.owner_cpu 4294967295
PARAM_VALUE 1 action->secondary->thread->dl.pi_se->pi_se 4096-ptr_max
PARAM_VALUE 1 action->secondary->thread->migration_disabled 0-1
PARAM_VALUE 1 action->secondary->thread->mm->mm_cid.irq_work.node.a_flags.counter 0-s32max
PARAM_VALUE 1 action->secondary->thread->mm->mm_cid.update_deferred 1
PARAM_VALUE 1 action->secondary->thread->on_rq 0-1,3-255
PARAM_VALUE 1 action->secondary->thread->pushable_tasks.node_list.next->next 4096-ptr_max
PARAM_VALUE 1 action->secondary->thread->pushable_tasks.node_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 action->secondary->thread->pushable_tasks.prio_list.next->next 4096-ptr_max
PARAM_VALUE 1 action->secondary->thread->pushable_tasks.prio_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 action->secondary->thread->rseq.event.ids_changed 1
PARAM_VALUE 1 action->secondary->thread->sched_migrated 1
PARAM_VALUE 1 action->secondary->thread->sched_task_group->idle s32min-s32max
PARAM_VALUE 1 action->secondary->thread->se.avg.util_avg 0-u32max
PARAM_VALUE 1 action->secondary->thread->throttle_node.next->next 4096-ptr_max
PARAM_VALUE 1 action->secondary->thread->throttle_node.next->prev 4096-ptr_max
PARAM_VALUE 1 action->secondary->thread->throttle_node.prev->next 4096-ptr_max
PARAM_VALUE 1 action->secondary->thread->throttle_node.prev->prev 4096-ptr_max
PARAM_VALUE 1 action->secondary->thread->wake_cpu 0-s32max
PARAM_VALUE 1 action->thread 0,4096-ptr_max
PARAM_VALUE 1 action->thread->__state 0,512
PARAM_VALUE 1 action->thread->blocked_on 0
PARAM_VALUE 1 action->thread->core_node.__rb_parent_color 1
PARAM_VALUE 1 action->thread->core_node.rb_left 4096-ptr_max
PARAM_VALUE 1 action->thread->core_node.rb_right 4096-ptr_max
PARAM_VALUE 1 action->thread->cpus_ptr 4096-ptr_max
PARAM_VALUE 1 action->thread->delays->blkio_count 0-4294967295
PARAM_VALUE 1 action->thread->delays->blkio_delay_max 1-s64max
PARAM_VALUE 1 action->thread->delays->blkio_delay_max_ts.tv_nsec 0-999999999
PARAM_VALUE 1 action->thread->delays->blkio_delay_min 1-s64max
PARAM_VALUE 1 action->thread->delays->lock.dep_map->name 0-255
PARAM_VALUE 1 action->thread->delays->lock.owner (-1)
PARAM_VALUE 1 action->thread->delays->lock.owner_cpu 4294967295
PARAM_VALUE 1 action->thread->dl.pi_se->pi_se 4096-ptr_max
PARAM_VALUE 1 action->thread->is_blocked 0
PARAM_VALUE 1 action->thread->migration_disabled 0-1
PARAM_VALUE 1 action->thread->mm->mm_cid.irq_work.node.a_flags.counter 0-s32max
PARAM_VALUE 1 action->thread->mm->mm_cid.update_deferred 1
PARAM_VALUE 1 action->thread->on_rq 0-1,3-255
PARAM_VALUE 1 action->thread->pushable_tasks.node_list.next->next 4096-ptr_max
PARAM_VALUE 1 action->thread->pushable_tasks.node_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 action->thread->pushable_tasks.prio_list.next->next 4096-ptr_max
PARAM_VALUE 1 action->thread->pushable_tasks.prio_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 action->thread->rseq.event.ids_changed 1
PARAM_VALUE 1 action->thread->saved_state 0
PARAM_VALUE 1 action->thread->sched_migrated 1
PARAM_VALUE 1 action->thread->sched_task_group->idle s32min-s32max
PARAM_VALUE 1 action->thread->se.avg.util_avg 0-u32max
PARAM_VALUE 1 action->thread->se.cfs_rq->rq->donor->dl.dl_timer.base->cpu_base->expires_next 0-s64max
PARAM_VALUE 1 action->thread->se.parent 0,4096-ptr_max
PARAM_VALUE 1 action->thread->throttle_node.next->next 4096-ptr_max
PARAM_VALUE 1 action->thread->throttle_node.next->prev 4096-ptr_max
PARAM_VALUE 1 action->thread->throttle_node.prev->next 4096-ptr_max
PARAM_VALUE 1 action->thread->throttle_node.prev->prev 4096-ptr_max
PARAM_VALUE 1 action->thread->wake_cpu 0-s32max
BUF_SIZE 1 action 4096
BUF_SIZE 1 action->name (-1),14,16
BUF_SIZE 1 action->percpu_dev_id (-1),8
CAPPED_DATA 1 action->secondary->thread 1
CAPPED_DATA 1 action->thread 1
DATA_SOURCE 0 irq $0
DATA_SOURCE 1 action $2
STR_LEN 0 irq (-1),13,15
STR_LEN 1 action->irq (-1),13,15
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *action->name 0-255
USER_DATA 1 *action->secondary->name 0-255
USER_PTR 1 action->name