1 /* 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 */ 14 unsigned int plat_calc_core_pos(u_register_t mpidr); 15 void gxbb_console_init(void); 16 void gxbb_setup_page_tables(void); 17 18 /* MHU functions */ 19 void mhu_secure_message_start(void); 20 void mhu_secure_message_send(uint32_t msg); 21 uint32_t mhu_secure_message_wait(void); 22 void mhu_secure_message_end(void); 23 void mhu_secure_init(void); 24 25 /* SCPI functions */ 26 void scpi_set_css_power_state(u_register_t mpidr, uint32_t cpu_state, 27 uint32_t cluster_state, uint32_t css_state); 28 uint32_t scpi_sys_power_state(uint64_t system_state); 29 void scpi_jtag_set_state(uint32_t state, uint8_t select); 30 uint32_t scpi_efuse_read(void *dst, uint32_t base, uint32_t size); 31 void scpi_unknown_thermal(uint32_t arg0, uint32_t arg1, 32 uint32_t arg2, uint32_t arg3); 33 void scpi_upload_scp_fw(uintptr_t addr, size_t size, int send); 34 35 /* Peripherals */ 36 void gxbb_thermal_unknown(void); 37 uint64_t gxbb_efuse_read(void *dst, uint32_t offset, uint32_t size); 38 uint64_t gxbb_efuse_user_max(void); 39 40 #endif /* GXBB_PRIVATE_H */ 41