Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/base/cacheinfo.c cache_shared_cpu_map_remove() -> cache_leaves_are_shared()

Type Parameter Key Value
PARAM_VALUE 0 this_leaf 4096-ptr_max
PARAM_VALUE 1 sib_leaf 4096-ptr_max
CAPPED_DATA 0 this_leaf->level 1
CAPPED_DATA 0 this_leaf->type 1
CAPPED_DATA 1 sib_leaf->level 1
CAPPED_DATA 1 sib_leaf->type 1
PARAM_COMPARE 1 sib_leaf->level == $0->level
PARAM_COMPARE 1 sib_leaf->type == $0->type
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

drivers/base/cacheinfo.c cache_shared_cpu_map_setup() -> cache_leaves_are_shared()

Type Parameter Key Value
PARAM_VALUE 0 this_leaf 4096-ptr_max
PARAM_VALUE 1 sib_leaf 4096-ptr_max
CAPPED_DATA 0 this_leaf->level 1
CAPPED_DATA 0 this_leaf->type 1
CAPPED_DATA 1 sib_leaf->level 1
CAPPED_DATA 1 sib_leaf->type 1
PARAM_COMPARE 1 sib_leaf->level == $0->level
PARAM_COMPARE 1 sib_leaf->type == $0->type
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

drivers/base/cacheinfo.c last_level_cache_is_shared() -> cache_leaves_are_shared()

Type Parameter Key Value
PARAM_VALUE 0 this_leaf 4096-ptr_max
PARAM_VALUE 1 sib_leaf 4096-ptr_max