| /* |
| * Copyright (c) [2009-2013] Marvell International Ltd. and its affiliates. All rights reserved. |
| * This software file (the "File") is owned and distributed by Marvell |
| * International Ltd. and/or its affiliates ("Marvell") under the following |
| * licensing terms. |
| * If you received this File from Marvell and you have entered into a commercial |
| * license agreement (a "Commercial License") with Marvell, the File is licensed |
| * to you under the terms of the applicable Commercial License. |
| * |
| */ |
| #ifndef __TEE_CB_COMMON_H__ |
| #define __TEE_CB_COMMON_H__ |
| |
| /* this data structure is the callback's arguments */ |
| typedef struct _tee_cb_arg_t |
| { |
| int32_t nbytes; /* sizeof(args), max = 4K - sizeof(uint32_t) */ |
| uint8_t args[0]; /* the arguments, sizeof(args) == nbytes */ |
| } tee_cb_arg_t; |
| |
| #endif /* __TEE_CB_COMMON_H__ */ |