1 /* 2 * Copyright (c) 2018, Xilinx, Inc. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 /* Xilinx IPI management configuration data and macros */ 8 9 #ifndef IPI_H 10 #define IPI_H 11 12 #include <stdint.h> 13 14 /********************************************************************* 15 * Struct definitions 16 ********************************************************************/ 17 18 /* structure to maintain IPI configuration information */ 19 struct ipi_config { 20 unsigned int ipi_bit_mask; 21 unsigned int ipi_reg_base; 22 unsigned char secure_only; 23 }; 24 25 #endif /* IPI_H */ 26