1*91f16700Schasinglulu /* 2*91f16700Schasinglulu * Copyright (c) 2021-2022, ProvenRun S.A.S. All rights reserved. 3*91f16700Schasinglulu * 4*91f16700Schasinglulu * SPDX-License-Identifier: BSD-3-Clause 5*91f16700Schasinglulu */ 6*91f16700Schasinglulu 7*91f16700Schasinglulu #ifndef __PNC_H__ 8*91f16700Schasinglulu #define __PNC_H__ 9*91f16700Schasinglulu 10*91f16700Schasinglulu #define SMC_YIELD 0xbf000000 11*91f16700Schasinglulu #define SMC_ACTION_FROM_S 0xbf000001 12*91f16700Schasinglulu #define SMC_GET_SHAREDMEM 0xbf000002 13*91f16700Schasinglulu #define SMC_CONFIG_SHAREDMEM 0xbf000003 14*91f16700Schasinglulu #define SMC_ACTION_FROM_NS 0xbf000004 15*91f16700Schasinglulu 16*91f16700Schasinglulu #ifndef __ASSEMBLER__ 17*91f16700Schasinglulu 18*91f16700Schasinglulu #include <stdint.h> 19*91f16700Schasinglulu 20*91f16700Schasinglulu void *pncd_context_switch_to(unsigned long security_state); 21*91f16700Schasinglulu int plat_pncd_setup(void); 22*91f16700Schasinglulu uintptr_t plat_pncd_smc_handler(uint32_t smc_fid, u_register_t x1, 23*91f16700Schasinglulu u_register_t x2, u_register_t x3, 24*91f16700Schasinglulu u_register_t x4, void *cookie, void *handle, 25*91f16700Schasinglulu u_register_t flags); 26*91f16700Schasinglulu 27*91f16700Schasinglulu #endif /* __ASSEMBLER__ */ 28*91f16700Schasinglulu 29*91f16700Schasinglulu #endif /* __PNC_H__ */ 30