Searched refs:context_id (Results 1 - 5 of 5) sorted by relevance

/barrelfish-2018-10-04/kernel/include/arch/armv7/
H A Dpsci.h122 * @param context_id Value left in x0/r0 when resuming execution
133 uintptr_t context_id);
151 * @param context_id Value left in x0/r0 when resuming execution
165 uintptr_t context_id);
180 * @param context_id Context pointer to be left in x0/r0
186 uintptr_t context_id);
258 * @param context_id context id to be stored in x0/r0
265 errval_t psci_system_suspend(lpaddr_t entry_point_address, uintptr_t context_id);
/barrelfish-2018-10-04/kernel/include/arch/armv8/
H A Dpsci.h124 * @param context_id Value left in x0/r0 when resuming execution
135 uintptr_t context_id);
153 * @param context_id Value left in x0/r0 when resuming execution
167 uintptr_t context_id);
182 * @param context_id Context pointer to be left in x0/r0
188 uintptr_t context_id);
257 * @param context_id context id to be stored in x0/r0
264 errval_t psci_system_suspend(lpaddr_t entry_point_address, uintptr_t context_id);
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dpsci.c102 * @param context_id Value left in x0/r0 when resuming execution
113 uintptr_t context_id)
116 psci_invoke(PSCI_FN_CPU_SUSPEND, power_state, entry_point, context_id, &retval);
143 * @param context_id Value left in x0/r0 when resuming execution
157 uintptr_t context_id)
160 psci_invoke(PSCI_FN_CPU_ON, target_cpu, entry_point, context_id, &retval);
184 * @param context_id Context pointer to be left in x0/r0
190 uintptr_t context_id)
193 psci_invoke(PSCI_FN_CPU_DEFAULT_SUSPEND64, entry_point_address, context_id,
316 * @param context_id contex
112 psci_cpu_suspend(uint32_t power_state, lpaddr_t entry_point, uintptr_t context_id) argument
156 psci_cpu_on(uintptr_t target_cpu, lpaddr_t entry_point, uintptr_t context_id) argument
189 psci_cpu_default_suspend(lpaddr_t entry_point_address, uintptr_t context_id) argument
323 psci_system_suspend(lpaddr_t entry_point_address, uintptr_t context_id) argument
[all...]
H A Dsyscall.c740 genpaddr_t context_id = sa->arg5; local
744 return sys_monitor_spawn_core(core_id, cpu_type, entry, context_id);
/barrelfish-2018-10-04/kernel/include/
H A Dsyscall.h67 genvaddr_t entry, genpaddr_t context_id);

Completed in 90 milliseconds