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 54 milliseconds