C interface for controlling platform-wide properties.
More...
C interface for controlling platform-wide properties.
- Include File
The API allows a client to suspend, reboot or shutdown the system.
For the C++ interface refer to L4::Platform_control
◆ l4_platform_ctl_cpu_disable()
Disable an online CPU.
- Parameters
-
pfc | Capability to the platform control object. |
phys_id | Physical CPU id of CPU (e.g. local APIC id) to disable. |
- Returns
- System call message tag
Definition at line 232 of file platform_control.h.
◆ l4_platform_ctl_cpu_enable()
Enable an offline CPU.
- Parameters
-
pfc | Capability to the platform control object. |
phys_id | Physical CPU id of CPU (e.g. local APIC id) to enable. |
- Returns
- System call message tag
Definition at line 225 of file platform_control.h.
◆ l4_platform_ctl_system_shutdown()
Shutdown or reboot the system.
- Parameters
-
pfc | Capability selector for the platform-control object |
reboot | Shutdown when 0, or reboot when 1. |
- Returns
- Syscall return tag
Definition at line 194 of file platform_control.h.
◆ l4_platform_ctl_system_suspend()
Enter suspend to RAM.
- Parameters
-
pfc | Capability selector for the platform-control object |
extras | some extra platform-specific information needed to enter suspend to RAM. |
- Returns
- Syscall return tag
Definition at line 187 of file platform_control.h.