Searched refs:context_id (Results 1 - 5 of 5) sorted by relevance
/barrelfish-2018-10-04/kernel/include/arch/armv7/ |
H A D | psci.h | 122 * @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 D | psci.h | 124 * @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 D | psci.c | 102 * @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 D | syscall.c | 740 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 D | syscall.h | 67 genvaddr_t entry, genpaddr_t context_id);
|
Completed in 90 milliseconds