Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/pmdomain/imx/imx93-blk-ctrl.c imx93_release_subdomain() -> pm_genpd_remove_subdomain()

Type Parameter Key Value
NOCHECK_CALL

drivers/pmdomain/core.c of_genpd_add_child_ids() -> pm_genpd_remove_subdomain()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pmdomain/core.c of_genpd_remove_child_ids() -> pm_genpd_remove_subdomain()

Type Parameter Key Value
PARAM_VALUE 0 genpd 0-ptr_max
PARAM_VALUE 1 subdomain 1-u64max
DATA_SOURCE 0 genpd r genpd_get_from_provider
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/pmdomain/core.c of_genpd_remove_subdomain() -> pm_genpd_remove_subdomain()

Type Parameter Key Value
PARAM_VALUE 0 genpd 0-ptr_max
PARAM_VALUE 1 subdomain 0-ptr_max
DATA_SOURCE 0 genpd r genpd_get_from_provider
DATA_SOURCE 1 subdomain r genpd_get_from_provider
LOCK2 global &gpd_list_lock

drivers/clk/qcom/gdsc.c gdsc_add_subdomain_list() -> pm_genpd_remove_subdomain()

Type Parameter Key Value
PARAM_VALUE 0 genpd 4096-ptr_max
PARAM_VALUE 1 subdomain 4096-ptr_max
CAPPED_DATA 1 subdomain 1
DATA_SOURCE 0 genpd r pd_to_genpd
DATA_SOURCE 1 subdomain $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/clk/qcom/gdsc.c gdsc_pm_subdomain_remove() -> pm_genpd_remove_subdomain()

Type Parameter Key Value
PARAM_VALUE 0 genpd 1-u64max
PARAM_VALUE 1 subdomain 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/clk/qcom/gdsc.c gdsc_pm_subdomain_remove() -> pm_genpd_remove_subdomain()

Type Parameter Key Value
PARAM_VALUE 0 genpd 4096-ptr_max
PARAM_VALUE 1 subdomain 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/clk/qcom/gdsc.c gdsc_remove_subdomain_list() -> pm_genpd_remove_subdomain()

Type Parameter Key Value
PARAM_VALUE 0 genpd 4096-ptr_max
PARAM_VALUE 1 subdomain 4096-ptr_max
CAPPED_DATA 1 subdomain 1
DATA_SOURCE 0 genpd r pd_to_genpd
DATA_SOURCE 1 subdomain $1
RX_PATH
NOCHECK_CALL