Searched refs:arch_registers_state_t (Results 51 - 59 of 59) sorted by relevance

123

/barrelfish-master/kernel/
H A Ddispatch.c87 arch_registers_state_t *disabled_area =
/barrelfish-master/lib/spawndomain/
H A Dspawn.c364 arch_registers_state_t *enabled_area =
366 arch_registers_state_t *disabled_area =
592 arch_registers_state_t *enabled_area =
/barrelfish-master/usr/bench/mem_appel/
H A Dvmpup.c363 arch_registers_state_t *regs)
/barrelfish-master/lib/barrelfish/arch/x86_64/
H A Dldt.c495 arch_registers_state_t *regs = dispatcher_get_enabled_save_area(handle);
/barrelfish-master/usr/bench/cow/
H A Dpmap_cow.c419 arch_registers_state_t *regs)
/barrelfish-master/lib/demandpaging/
H A Ddemandpaging.c271 void *addr, arch_registers_state_t *regs)
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c1183 arch_registers_state_t *area = NULL;
1193 memcpy(area, &ctrl->regs, sizeof(arch_registers_state_t));
/barrelfish-master/lib/barrelfish/
H A Ddomain.c692 arch_registers_state_t *disabled_area =
/barrelfish-master/usr/arrakismon/
H A Dguest.c912 arch_registers_state_t *regs =
916 memcpy(&g->ctrl->regs, regs, sizeof(arch_registers_state_t));
966 memcpy(&g->ctrl->regs, regs, sizeof(arch_registers_state_t));

Completed in 186 milliseconds

123