Searched refs:enabled_area (Results 1 - 6 of 6) sorted by relevance
/barrelfish-2018-10-04/lib/spawndomain/ |
H A D | arch.h | 24 arch_registers_state_t *enabled_area,
|
H A D | spawn.c | 324 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 D | spawn_arch.c | 208 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 D | spawn_arch.c | 206 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 D | threads.c | 278 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 D | spawn_arch.c | 286 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