Searched refs:registers_set_initial (Results 1 - 6 of 6) sorted by relevance
/barrelfish-master/lib/barrelfish/include/arch/x86_32/arch/ |
H A D | registers.h | 23 registers_set_initial(arch_registers_state_t *regs, struct thread *thread, function
|
/barrelfish-master/lib/barrelfish/include/arch/x86_64/arch/ |
H A D | registers.h | 23 registers_set_initial(arch_registers_state_t *regs, struct thread *thread, function
|
/barrelfish-master/lib/barrelfish/include/arch/arm/arch/ |
H A D | registers.h | 33 registers_set_initial(arch_registers_state_t *regs, struct thread *thread, function
|
/barrelfish-master/lib/barrelfish/include/arch/aarch64/arch/ |
H A D | registers.h | 33 registers_set_initial(arch_registers_state_t *regs, struct thread *thread, function
|
/barrelfish-master/lib/barrelfish/ |
H A D | threads.c | 428 registers_set_initial(&newthread->regs, newthread, (lvaddr_t)thread_entry, 863 registers_set_initial(&dg->cleanupthread->regs, dg->cleanupthread, 1203 registers_set_initial(&thread->regs, thread, (lvaddr_t)thread_entry, 1532 registers_set_initial(&thread->regs, thread,
|
H A D | domain.c | 706 registers_set_initial(disabled_area, span_domain_state->thread,
|
Completed in 94 milliseconds