diff options
| author | Jens Wiklander <[email protected]> | 2022-02-04 10:33:55 +0100 |
|---|---|---|
| committer | Jens Wiklander <[email protected]> | 2022-02-16 07:49:41 +0100 |
| commit | 924e32269228a4e2575e50e6fd6ed83cb57aa52a (patch) | |
| tree | d34f9fa198c09c11dad0c74fb4b9e3e264e94dc9 /scripts/gdb/linux/utils.py | |
| parent | 5d41f1b3e3282909b6bbceacb9aebe1d3c849a49 (diff) | |
optee: add optee_pool_op_free_helper()
Adds a common helper function to free a tee_shm allocated using the
helper function optee_pool_op_alloc_helper().
Reviewed-by: Sumit Garg <[email protected]>
Signed-off-by: Jens Wiklander <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/utils.py')
0 files changed, 0 insertions, 0 deletions