Barrelfish
Data Fields
dispatcher_shared_arm 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 got_base
 Global Offset Table base.
 
union registers_arm enabled_save_area
 Enabled register save area.
 
union registers_arm disabled_save_area
 Disabled register save area.
 
union registers_arm trap_save_area
 Trap register save area.
 

Detailed Description

< Architecture specific kernel/user shared dispatcher struct


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