Barrelfish
|
< 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_aarch64 | enabled_save_area |
Enabled register save area. | |
union registers_aarch64 | disabled_save_area |
Disabled register save area. | |
union registers_aarch64 | trap_save_area |
Trap register save area. | |
< Architecture specific kernel/user shared dispatcher struct