Searched defs:registers_x86_32_set_initial (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/lib/barrelfish/include/target/x86_32/ | ||
H A D | registers_target.h | 24 registers_x86_32_set_initial(struct registers_x86_32 *regs, struct thread *thread, function |
Completed in 27 milliseconds