![]()  | 
  
    L4Re Operating System Framework
    
   Interface and Usage Documentation 
   | 
 
ARM secure monitor call functions. More...
Go to the source code of this file.
Data Structures | |
| class | L4::Arm_smccc | 
| Wrapper for function calls that follow the ARM SMC/HVC calling convention.  More... | |
Namespaces | |
| namespace | L4 | 
| L4 low-level kernel interface.  | |
ARM secure monitor call functions.
Definition in file arm_smccc.