Searched refs:arch_set_thread_register (Results 1 - 7 of 7) 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/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
/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/arch/armv7/
H A Ddispatch.c66 arch_set_thread_register(disp->udisp);
H A Dstartup_arch.c511 arch_set_thread_register(INIT_DISPATCHER_VBASE);
646 arch_set_thread_register(INIT_DISPATCHER_VBASE);
/barrelfish-master/kernel/arch/x86_32/
H A Ddispatch.c63 arch_set_thread_register(disp->udisp);

Completed in 103 milliseconds