Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/powercap/powercap_sys.c powercap_release() -> (struct powercap_zone_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 power_zone 4096-ptr_max
PARAM_VALUE 0 power_zone->idr.idr_rt.xa_flags 0,33554432-u32max
PARAM_VALUE 0 power_zone->idr.idr_rt.xa_head 0
PARAM_VALUE 0 power_zone->ops 4096-ptr_max
PARAM_VALUE 0 power_zone->ops->release 1049999374349828096,2395838730758443008,4009031379148431360
PARAM_VALUE 0 power_zone->parent_idr 4096-ptr_max
CAPPED_DATA 0 power_zone->constraints 1
CAPPED_DATA 0 power_zone->name 1
CAPPED_DATA 0 power_zone->zone_dev_attrs 1
CONTAINER 0 -56-24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL