Searched refs:pfc (Results 1 – 3 of 3) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | platform_control.h | 56 l4_platform_ctl_system_suspend(l4_cap_idx_t pfc,
63 l4_platform_ctl_system_suspend_u(l4_cap_idx_t pfc,
77 l4_platform_ctl_system_shutdown(l4_cap_idx_t pfc,
121 l4_platform_ctl_cpu_enable(l4_cap_idx_t pfc,
128 l4_platform_ctl_cpu_enable_u(l4_cap_idx_t pfc,
143 l4_platform_ctl_cpu_disable(l4_cap_idx_t pfc,
150 l4_platform_ctl_cpu_disable_u(l4_cap_idx_t pfc,
254 l4_platform_ctl_cpu_enable_u(l4_cap_idx_t pfc, in l4_platform_ctl_cpu_enable_u() argument
266 l4_platform_ctl_cpu_disable_u(l4_cap_idx_t pfc, in l4_platform_ctl_cpu_disable_u() argument
278 l4_platform_ctl_cpu_enable(l4_cap_idx_t pfc, in l4_platform_ctl_cpu_enable() argument
[all …]
|
| A D | arm_smccc.h | 14 l4_arm_smccc_call(l4_cap_idx_t pfc, l4_umword_t func, l4_umword_t in0,
21 l4_arm_smccc_call_u(l4_cap_idx_t pfc, l4_umword_t func, l4_umword_t in0,
32 l4_arm_smccc_call(l4_cap_idx_t pfc, l4_umword_t func, in l4_arm_smccc_call() argument
40 return l4_arm_smccc_call_u(pfc, func, in0, in1, in2, in3, in4, in5, in l4_arm_smccc_call()
46 l4_arm_smccc_call_u(l4_cap_idx_t pfc, l4_umword_t func, l4_umword_t in0, in l4_arm_smccc_call_u() argument
63 ret = l4_ipc_call(pfc, utcb, l4_msgtag(L4_PROTO_SMCCC, 8, 0, 0), in l4_arm_smccc_call_u()
|
| /l4re-core-master/ned/server/src/ |
| A D | lua_platform_control.cc | 25 auto pfc = n->cap<L4::Platform_control>().get(); in __system_suspend() local
26 l4_msgtag_t t = pfc->system_suspend(extras); in __system_suspend()
40 auto pfc = n->cap<L4::Platform_control>().get(); in __system_shutdown() local
41 l4_msgtag_t t = pfc->system_shutdown(reboot); in __system_shutdown()
|
Completed in 5 milliseconds