1 // © 2021 Qualcomm Innovation Center, Inc. All rights reserved.
2 //
3 // SPDX-License-Identifier: BSD-3-Clause
4 
5 // Initialize all per core vcpu pm list
6 void
7 psci_pm_list_init(void);
8 
9 // Get the current cpu list of vcpus that participate in power management
10 // decisions
11 list_t *
12 psci_pm_list_get_self(void) REQUIRE_PREEMPT_DISABLED;
13 
14 // Add vcpu to specified cpu pm list
15 void
16 psci_pm_list_insert(cpu_index_t cpu_index, thread_t *vcpu);
17 
18 // Remove vcpu to specified cpu pm list
19 void
20 psci_pm_list_delete(cpu_index_t cpu_index, thread_t *vcpu);
21