Searched defs:maybe_reload_ldt (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/arch/x86_64/
H A Dexec.c267 void maybe_reload_ldt(struct dcb *dcb, bool force_reload) function
/barrelfish-master/lib/barrelfish/arch/x86_64/
H A Dldt.c255 static void maybe_reload_ldt(struct dispatcher_shared_x86_64 *disp, bool force_reload) function

Completed in 40 milliseconds