Barrelfish
Data Fields
dispatcher_x86_64 Struct Reference

Dispatcher structure (including data accessed only by user code) More...

+ Collaboration diagram for dispatcher_x86_64:

Data Fields

struct dispatcher_shared_x86_64 d
 Shared (user/kernel) data. Must be first.
 
struct dispatcher_generic generic
 User private data.
 
uint16_t disp_seg_selector
 
uintptr_t dummyseg [2]
 Dummy segment to which disp_seg_selector refers; see ldt_init_disabled()
 

Detailed Description

Dispatcher structure (including data accessed only by user code)

Field Documentation

uint16_t dispatcher_x86_64::disp_seg_selector

Dispatcher segment selector


The documentation for this struct was generated from the following file: