|
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
1.8.11