Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/events/intel/uncore.c uncore_box_setup() -> uncore_box_exit()

Type Parameter Key Value
PARAM_VALUE 0 box 4096-ptr_max
PARAM_VALUE 0 box->cpu (-1)-s32max
PARAM_VALUE 0 box->dieid 0-s32max
BUF_SIZE 0 box (-1),504-27024
BUF_SIZE 0 box (-1),504-27024
BUF_SIZE 0 box->pci_dev (-1)-0,16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 box $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 box->pci_dev->current_state 0-3[c]

arch/x86/events/intel/uncore.c uncore_box_unref() -> uncore_box_exit()

Type Parameter Key Value
PARAM_VALUE 0 box 4096-ptr_max
PARAM_VALUE 0 box->cpu 0-s32max
PARAM_VALUE 0 box->pmu 4096-ptr_max
PARAM_VALUE 0 box->pmu->type 4096-ptr_max
PARAM_VALUE 0 box->pmu->type->ops 4096-ptr_max
FUZZY_MAX 0 box->cpu 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

arch/x86/events/intel/uncore.c uncore_pci_pmu_unregister() -> uncore_box_exit()

Type Parameter Key Value
PARAM_VALUE 0 box 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL