mbed-os5 only for TYBLE16
Dependents: TYBLE16_simple_data_logger TYBLE16_MP3_Air
components/TARGET_PSA/TARGET_TFM/COMPONENT_SPE/secure_fw/include/tfm_spm_services_api.h
- Committer:
- kenjiArai
- Date:
- 2019-12-31
- Revision:
- 1:9db0e321a9f4
- Parent:
- 0:5b88d5760320
File content as of revision 1:9db0e321a9f4:
/* * Copyright (c) 2018, Arm Limited. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause * */ #ifndef __TFM_SPM_SERVICES_API_H__ #define __TFM_SPM_SERVICES_API_H__ enum tfm_spm_request_type_t { TFM_SPM_REQUEST_RESET_VOTE, }; /** * \brief Request a vote from SPM on a system reset * * \return Returns 0 if request is accepted, any other value means reject */ int32_t tfm_spm_request_reset_vote(void); #endif /* __TFM_SPM_SERVICES_API_H__ */