ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

More fixes by Melinda

pull/8873/head
Oren Cohen 2018-11-28 14:52:40 +02:00
parent 11567cdf30
commit 549d24f213
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
components/TARGET_PSA/spm/COMPONENT_SPE/handles_manager.h
View File

@ -27,8 +27,8 @@
/* -------------------------------- Handle Manager Module ---------------------------- */
/*
* It generates and exposes a unique handle identifier (handle) per
* handle memory (handle_mem) it receives from the user.
* The Handle Manager module generates and exposes a unique handle
* identifier (handle) per handle memory (handle_mem) it receives from the user.
* Then users can use the exposed handle identifier to relate to the "registered"
* handle memory.
*
@ -40,8 +40,7 @@
*
* Note:
* Handle generation is done exclusively.
* Once you got a handle, removing a handle or getting its memory can be
* done non-exclusive.
* Once you have a handle, you can remove or get its memory non-exclusively.
* The assumption is that only one context is dealing with a handle after it was
* generated.
*/
@ -121,7 +120,7 @@ handles_pool
*
* @param[in] handle_mgr A pointer to the handle manager object.
* @param[in] handle_mem A pointer to a pre-allocated handle memory to get a handle identifier for
* @param[in] friend_pid The partition id which is allowed to `get_mem()` and `destroy()` in addition to the handle owner.
* @param[in] friend_pid The partition ID which is allowed to `get_mem()` and `destroy()` in addition to the handle owner.
* Use PSA_HANDLE_MGR_INVALID_FRIEND_OWNER to denote there is no friend partition.
* @return The created handle identifier
*/