Searched defs:arch_set_thread_register (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/kernel/include/arch/x86_32/
H A Dmisc.h26 static inline void arch_set_thread_register(uintptr_t val) function
/barrelfish-master/kernel/include/arch/x86_64/
H A Dmisc.h26 static inline void arch_set_thread_register(uintptr_t val) function
/barrelfish-master/kernel/include/arch/arm/
H A Dmisc.h31 static inline void arch_set_thread_register(uintptr_t value) function
/barrelfish-master/kernel/include/arch/aarch64/
H A Dmisc.h29 static inline void arch_set_thread_register(uintptr_t value) function

Completed in 101 milliseconds