L4Re Operating System Framework
Interface and Usage Documentation
|
ARM secure monitor call functions. More...
Go to the source code of this file.
Functions | |
l4_msgtag_t | l4_arm_smccc_call (l4_cap_idx_t pfc, l4_umword_t func, l4_umword_t in0, l4_umword_t in1, l4_umword_t in2, l4_umword_t in3, l4_umword_t in4, l4_umword_t in5, l4_umword_t *out0, l4_umword_t *out1, l4_umword_t *out2, l4_umword_t *out3, l4_umword_t client_id) L4_NOTHROW |
C interface for calling the ARM secure monitor, see L4::Arm_smccc::call() for the C++ interface. | |
ARM secure monitor call functions.
Definition in file arm_smccc.h.
|
inline |
C interface for calling the ARM secure monitor, see L4::Arm_smccc::call() for the C++ interface.
pfc | Capability of the SMC kernel object. |
The input parameters consist of a function identifier, 6 arguments and a client id. Results are returned in 4 output parameters.
func | Function identifier.
| |
[in] | in0 | First input parameter. |
[in] | in1 | Second input parameter. |
[in] | in2 | Third input parameter. |
[in] | in3 | Fourth input parameter. |
[in] | in4 | Fifth input parameter. |
[in] | in5 | Sixth input parameter. |
[out] | out0 | First output parameter. |
[out] | out1 | Second output parameter. |
[out] | out2 | Third output parameter. |
[out] | out3 | Fourth output parameter. |
[in] | client_id | Client ID. According to the specification, this value might be ignored by certain functions. |
-L4_ENOSYS | Either bit 31 of the function call not set or service ID < 0x30000000. |
-L4_EINVAL | Invalid number of parameters. |
<0 | Other L4 error. |
0 | Success. |
Definition at line 43 of file arm_smccc.h.
References l4_utcb().