| /* |
| * Copyright (c) 2023-2024, Advanced Micro Devices, Inc. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #ifndef SCMI_H |
| #define SCMI_H |
| |
| #include "versal2-scmi.h" |
| |
| #define SIP_SCMI (0xC200ffffU) |
| #define SMT_BUFFER_BASE 0x7fffe000 |
| |
| void init_scmi_server(void); |
| |
| size_t plat_scmi_pd_count(unsigned int agent_id); |
| const char *plat_scmi_pd_get_name(unsigned int agent_id, unsigned int pd_id); |
| unsigned int plat_scmi_pd_statistics(unsigned int agent_id, unsigned long *pd_id); |
| unsigned int plat_scmi_pd_get_attributes(unsigned int agent_id, unsigned int pd_id); |
| unsigned int plat_scmi_pd_get_state(unsigned int agent_id, unsigned int pd_id); |
| int32_t plat_scmi_pd_set_state(unsigned int agent_id, unsigned int flags, unsigned int pd_id, |
| unsigned int state); |
| |
| #define SCMI_VENDOR "AMD" |
| #define SCMI_PRODUCT "Versal Gen 2" |
| |
| #endif /* DEF_H */ |