Searched refs:sel4runtime_write_gs_base (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/projects/sel4runtime/include/sel4_arch/x86_64/sel4runtime/ | ||
H A D | thread_arch.h | 35 static inline void sel4runtime_write_gs_base(sel4runtime_uintptr_t reg) function |
Completed in 27 milliseconds