Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 type 1
PARAM_VALUE 2 rid 0
BUF_SIZE 0 hdr (-1),1056
BUF_SIZE 0 hdr (-1),1056
DATA_SOURCE 0 hdr $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rdtgroup_mutex

fs/resctrl/rdtgroup.c mkdir_mondata_subdir_snc() -> domain_header_is_valid()

Type Parameter Key Value
PARAM_VALUE 1 type 1
PARAM_VALUE 2 rid 0
DATA_SOURCE 0 hdr $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rdtgroup_mutex
HALF_LOCKED2 global &domain_list_lock

fs/resctrl/rdtgroup.c resctrl_offline_mon_domain() -> domain_header_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 0 hdr->rid 0
PARAM_VALUE 0 hdr->type 1
PARAM_VALUE 1 type 1
PARAM_VALUE 2 rid 0
CAPPED_DATA 0 hdr->id 1
DATA_SOURCE 0 hdr $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &domain_list_lock
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

fs/resctrl/rdtgroup.c resctrl_offline_mon_domain() -> domain_header_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 0 hdr->rid 0
PARAM_VALUE 0 hdr->type 1
PARAM_VALUE 1 type 1
PARAM_VALUE 2 rid 0
CAPPED_DATA 0 hdr->id 1
DATA_SOURCE 0 hdr $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &domain_list_lock
LOCK2 global &rdtgroup_mutex
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

fs/resctrl/rdtgroup.c resctrl_online_mon_domain() -> domain_header_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 0 hdr->rid 0
PARAM_VALUE 0 hdr->type 1
PARAM_VALUE 1 type 1
PARAM_VALUE 2 rid 0
DATA_SOURCE 0 hdr $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &domain_list_lock
LOCK2 global &rdtgroup_mutex
HALF_LOCKED2 global &once_mutex

fs/resctrl/rdtgroup.c rmdir_mondata_subdir_allrdtgrp_snc() -> domain_header_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 0 hdr->rid 0,4
PARAM_VALUE 0 hdr->type 1
PARAM_VALUE 1 type 1
PARAM_VALUE 2 rid 0
CAPPED_DATA 0 hdr->id 1
DATA_SOURCE 0 hdr $1
HARD_MAX 0 hdr->rid 4
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &domain_list_lock
LOCK2 global &rdtgroup_mutex
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

arch/x86/kernel/cpu/resctrl/core.c domain_add_cpu_ctrl() -> domain_header_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 1 type 0
PARAM_VALUE 2 rid 0-4
CAPPED_DATA 0 hdr->id 1
DATA_SOURCE 0 hdr r resctrl_find_domain
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &domain_list_lock
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

arch/x86/kernel/cpu/resctrl/core.c domain_remove_cpu_ctrl() -> domain_header_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 1 type 0
PARAM_VALUE 2 rid 0-4
CAPPED_DATA 0 hdr->id 1
DATA_SOURCE 0 hdr r resctrl_find_domain
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &domain_list_lock
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

arch/x86/kernel/cpu/resctrl/core.c domain_remove_cpu_mon() -> domain_header_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 1 type 1
PARAM_VALUE 2 rid 0
CAPPED_DATA 0 hdr->id 1
DATA_SOURCE 0 hdr r resctrl_find_domain
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &domain_list_lock
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

arch/x86/kernel/cpu/resctrl/core.c domain_remove_cpu_mon() -> domain_header_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 1 type 1
PARAM_VALUE 2 rid 4
CAPPED_DATA 0 hdr->id 1
DATA_SOURCE 0 hdr r resctrl_find_domain
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &domain_list_lock
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

fs/resctrl/monitor.c __l3_mon_event_count() -> domain_header_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 hdr 1-u64max
PARAM_VALUE 1 type 1
PARAM_VALUE 2 rid 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rdtgroup_mutex

fs/resctrl/monitor.c mbm_bw_count() -> domain_header_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 1 type 1
PARAM_VALUE 2 rid 0
LOCK2 global &rdtgroup_mutex
HALF_LOCKED2 &pool->lock