1 /* 2 * Arm SCP/MCP Software 3 * Copyright (c) 2023, Arm Limited and Contributors. All rights reserved. 4 * 5 * SPDX-License-Identifier: BSD-3-Clause 6 */ 7 8 #ifndef MOD_POWER_ALLOCATOR_EXTRA_H_ 9 #define MOD_POWER_ALLOCATOR_EXTRA_H_ 10 11 #include "fwk_id.h" 12 #include "mod_power_allocator.h" 13 14 int get_cap(fwk_id_t domain_id, uint32_t *cap); 15 int set_cap(fwk_id_t domain_id, uint32_t cap); 16 #endif /* MOD_POWER_ALLOCATOR_EXTRA_H_ */ 17