Searched defs:disp_seg_selector (Results 1 - 2 of 2) sorted by relevance
/barrelfish-2018-10-04/include/target/x86_32/barrelfish/ | ||
H A D | dispatcher_target.h | 27 uint16_t disp_seg_selector; ///< Dispatcher segment selector member in struct:dispatcher_x86_32 |
/barrelfish-2018-10-04/include/target/x86_64/barrelfish/ | ||
H A D | dispatcher_target.h | 27 uint16_t disp_seg_selector; ///< Dispatcher segment selector member in struct:dispatcher_x86_64 |
Completed in 30 milliseconds