Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/auditsc.c audit_log_task() -> audit_log_d_path_exe()

Type Parameter Key Value
PARAM_VALUE 0 ab 4096-ptr_max
PARAM_VALUE 0 ab->ctx->current_state 2
PARAM_VALUE 0 ab->gfp_mask 3264
PARAM_VALUE 0 ab->skb->cloned 0-1
PARAM_VALUE 0 ab->skb->csum_start 0-u16max
PARAM_VALUE 0 ab->skb->data_len 0
PARAM_VALUE 0 ab->skb->end 0-4294967295
PARAM_VALUE 0 ab->skb->hdr_len 0
PARAM_VALUE 0 ab->skb->head_frag 0
PARAM_VALUE 0 ab->skb->inner_mac_header 0-u16max
PARAM_VALUE 0 ab->skb->inner_network_header 0-u16max
PARAM_VALUE 0 ab->skb->inner_transport_header 0-u16max
PARAM_VALUE 0 ab->skb->len 0-4294967295
PARAM_VALUE 0 ab->skb->mac_header 0-u16max
PARAM_VALUE 0 ab->skb->network_header 0-u16max
PARAM_VALUE 0 ab->skb->nohdr 0
PARAM_VALUE 0 ab->skb->pfmemalloc 0-1
PARAM_VALUE 0 ab->skb->pp_recycle 0
PARAM_VALUE 0 ab->skb->tail 0-4294967295
PARAM_VALUE 0 ab->skb->transport_header 0-u16max
PARAM_VALUE 0 ab->skb->truesize 0-4294967295
PARAM_VALUE 0 ab->skb->unreadable 0-1
PARAM_VALUE 0 ab->skb_list.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *ab->skb->head 0-255
DATA_SOURCE 0 ab $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 mm unit_byte

kernel/audit.c audit_log_multicast() -> audit_log_d_path_exe()

Type Parameter Key Value
PARAM_VALUE 0 ab 4096-ptr_max
PARAM_VALUE 0 ab->ctx 0,4096-ptr_max
PARAM_VALUE 0 ab->ctx->current_state 2
PARAM_VALUE 0 ab->ctx->prio 1-u64max
PARAM_VALUE 0 ab->gfp_mask 3264
PARAM_VALUE 0 ab->skb 4096-ptr_max
PARAM_VALUE 0 ab->skb->data 4096-ptr_max
PARAM_VALUE 0 ab->skb->data_len 0
PARAM_VALUE 0 ab->skb->hdr_len 0
PARAM_VALUE 0 ab->skb->head_frag 0
PARAM_VALUE 0 ab->skb->next 4096-ptr_max
PARAM_VALUE 0 ab->skb->nohdr 0
PARAM_VALUE 0 ab->skb->pp_recycle 0
PARAM_VALUE 0 ab->skb->prev 4096-ptr_max
PARAM_VALUE 0 ab->skb_list.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ab->skb_list.next 4096-ptr_max
PARAM_VALUE 0 ab->skb_list.prev 4096-ptr_max
PARAM_VALUE 0 ab->skb_list.prev->next->next 4096-ptr_max
DATA_SOURCE 0 ab r audit_log_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 mm unit_byte

kernel/audit.c audit_log_task_info() -> audit_log_d_path_exe()

Type Parameter Key Value
PARAM_VALUE 0 ab 4096-ptr_max
PARAM_VALUE 0 ab->ctx->current_state 2
PARAM_VALUE 0 ab->gfp_mask 3264
PARAM_VALUE 0 ab->skb 4096-ptr_max
PARAM_VALUE 0 ab->skb->data_len 0
PARAM_VALUE 0 ab->skb_list.lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 ab $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 mm unit_byte
HALF_LOCKED2 &iint->mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock