Searched refs:get_dispatcher_x86_32 (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/include/target/x86_32/barrelfish/
H A Ddispatcher_target.h40 get_dispatcher_x86_32(dispatcher_handle_t handle) function
/barrelfish-master/lib/barrelfish/include/target/x86_32/
H A Dregisters_target.h42 regs->gs = get_dispatcher_x86_32(thread->disp)->disp_seg_selector;
/barrelfish-master/lib/barrelfish/arch/x86_32/
H A Ddispatch.c37 struct dispatcher_x86_32 *disp_priv = get_dispatcher_x86_32(handle);

Completed in 109 milliseconds