Searched refs:arch_get_thread_register (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/include/arch/arm/
H A Dmisc.h36 static inline uintptr_t arch_get_thread_register(void) function
/barrelfish-master/kernel/include/arch/aarch64/
H A Dmisc.h36 static inline uintptr_t arch_get_thread_register(void) function

Completed in 77 milliseconds