Barrelfish
Data Fields
dispatcher_shared_x86_64 Struct Reference

< Architecture specific kernel/user shared dispatcher struct More...

Data Fields

struct dispatcher_shared_generic d
 Generic portion.
 
lvaddr_t crit_pc_low
 Critical section lower PC bound.
 
lvaddr_t crit_pc_high
 Critical section upper PC bound.
 
lvaddr_t ldt_base
 Base address of local descriptor table (LDT)
 
size_t ldt_npages
 Size of local descriptor table (# 4k pages)
 
struct registers_x86_64 enabled_save_area
 Enabled register save area.
 
struct registers_x86_64 disabled_save_area
 Disabled register save area.
 
struct registers_x86_64 trap_save_area
 Trap register save area.
 
struct registers_fpu_x86_64 enabled_fpu_state
 FPU register save area.
 
struct registers_fpu_x86_64 disabled_fpu_state
 FPU register save area.
 

Detailed Description

< Architecture specific kernel/user shared dispatcher struct


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