blob: 6f1855f6368a45ac0f101b3a745f9a16498cc9fa [file] [log] [blame]
Carlo Caione49488322019-08-24 17:28:23 +01001/*
2 * Copyright (c) 2018-2019, ARM Limited and Contributors. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7#ifndef GXBB_PRIVATE_H
8#define GXBB_PRIVATE_H
9
10#include <stddef.h>
11#include <stdint.h>
12
13/* Utility functions */
14unsigned int plat_gxbb_calc_core_pos(u_register_t mpidr);
15void gxbb_console_init(void);
16void gxbb_setup_page_tables(void);
17
18/* MHU functions */
19void mhu_secure_message_start(void);
20void mhu_secure_message_send(uint32_t msg);
21uint32_t mhu_secure_message_wait(void);
22void mhu_secure_message_end(void);
23void mhu_secure_init(void);
24
25/* SCPI functions */
26void scpi_set_css_power_state(u_register_t mpidr, uint32_t cpu_state,
27 uint32_t cluster_state, uint32_t css_state);
28uint32_t scpi_sys_power_state(uint64_t system_state);
29void scpi_jtag_set_state(uint32_t state, uint8_t select);
30uint32_t scpi_efuse_read(void *dst, uint32_t base, uint32_t size);
31void scpi_unknown_thermal(uint32_t arg0, uint32_t arg1,
32 uint32_t arg2, uint32_t arg3);
33void scpi_upload_scp_fw(uintptr_t addr, size_t size, int send);
34
35/* Peripherals */
36void gxbb_thermal_unknown(void);
37uint64_t gxbb_efuse_read(void *dst, uint32_t offset, uint32_t size);
38uint64_t gxbb_efuse_user_max(void);
39
40#endif /* GXBB_PRIVATE_H */