Searched defs:enabled_area (Results 1 - 5 of 5) sorted by relevance

/barrelfish-2018-10-04/lib/spawndomain/arch/aarch64/
H A Dspawn_arch.c204 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/arm/
H A Dspawn_arch.c206 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/x86/
H A Dspawn_arch.c284 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/
H A Dspawn.c324 arch_registers_state_t *enabled_area = local
552 arch_registers_state_t *enabled_area = local
/barrelfish-2018-10-04/lib/barrelfish/
H A Dthreads.c278 arch_registers_state_t *enabled_area = local
720 arch_registers_state_t *enabled_area = local
762 arch_registers_state_t *enabled_area = local
1160 arch_registers_state_t *enabled_area = local
[all...]

Completed in 110 milliseconds