Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/resctrl/monitor.c resctrl_arch_cntr_read() -> get_corrected_val()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 1 d 4096-ptr_max
PARAM_VALUE 3 eventid 2-3
CAPPED_DATA 3 eventid 1
DATA_SOURCE 0 r $0
DATA_SOURCE 1 d $1
DATA_SOURCE 2 rmid $3
DATA_SOURCE 3 eventid $5
HARD_MAX 3 eventid 3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 4 msr_val 0-u64max
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rdtgroup_mutex

arch/x86/kernel/cpu/resctrl/monitor.c resctrl_arch_rmid_read() -> get_corrected_val()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 1 d 4096-ptr_max
BUF_SIZE 0 r (-1),136
BUF_SIZE 0 r (-1),136
DATA_SOURCE 0 r $0
DATA_SOURCE 2 rmid $3
DATA_SOURCE 3 eventid $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 4 msr_val 0-u64max
UNITS 2 rmid unit_array_size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rdtgroup_mutex