Searched refs:enabled_area (Results 1 - 6 of 6) sorted by relevance

/barrelfish-2018-10-04/lib/spawndomain/
H A Darch.h24 arch_registers_state_t *enabled_area,
H A Dspawn.c324 arch_registers_state_t *enabled_area = local
354 spawn_arch_set_registers(arch_info, handle, enabled_area, disabled_area);
552 arch_registers_state_t *enabled_area = local
554 registers_set_param(enabled_area, (uintptr_t)spawn_args_base);
/barrelfish-2018-10-04/lib/spawndomain/arch/arm/
H A Dspawn_arch.c208 arch_registers_state_t *enabled_area,
217 enabled_area->regs[REG_OFFSET(PIC_REGISTER)] = got_base;
220 enabled_area->named.cpsr = CPSR_F_MASK | ARM_MODE_USR;
206 spawn_arch_set_registers(void *arch_load_info, dispatcher_handle_t handle, arch_registers_state_t *enabled_area, arch_registers_state_t *disabled_area) argument
/barrelfish-2018-10-04/lib/spawndomain/arch/aarch64/
H A Dspawn_arch.c206 arch_registers_state_t *enabled_area,
216 enabled_area->regs[REG_OFFSET(PIC_REGISTER)] = got_base;
204 spawn_arch_set_registers(void *arch_load_info, dispatcher_handle_t handle, arch_registers_state_t *enabled_area, arch_registers_state_t *disabled_area) argument
/barrelfish-2018-10-04/lib/barrelfish/
H A Dthreads.c278 arch_registers_state_t *enabled_area = local
286 thread_check_stack_bounds(disp_gen->current, enabled_area));
293 memcpy(cur_regs, enabled_area, sizeof(arch_registers_state_t));
298 disp_resume(handle, enabled_area);
720 arch_registers_state_t *enabled_area = local
744 disp_save(handle, enabled_area, true, CPTR_NULL);
762 arch_registers_state_t *enabled_area = local
769 disp_save(handle, enabled_area, true, get_cap_addr(endpoint));
1160 arch_registers_state_t *enabled_area = local
1187 registers_get_param(enabled_area,
[all...]
/barrelfish-2018-10-04/lib/spawndomain/arch/x86/
H A Dspawn_arch.c286 arch_registers_state_t *enabled_area,
284 spawn_arch_set_registers(void *arch_load_info, dispatcher_handle_t handle, arch_registers_state_t *enabled_area, arch_registers_state_t *disabled_area) argument

Completed in 93 milliseconds