20 class L4_EXPORT
Arm_smccc :
public Kobject_0t<Arm_smccc, L4_PROTO_SMCCC>
L4 low-level kernel interface.
L4::Cap related definitions.
List of RPCs of an interface using a single operation without an opcode.
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
unsigned long l4_umword_t
Unsigned machine word.
Interface Definition Language.
Message tag data structure.
Wrapper for function calls that follow the ARM SMC/HVC calling convention.