Searched defs:disabled_save_area (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/include/target/aarch64/barrelfish_kpi/ | ||
H A D | dispatcher_shared_target.h | 29 union registers_aarch64 disabled_save_area; ///< Disabled register save area member in struct:dispatcher_shared_aarch64 |
/barrelfish-master/include/target/arm/barrelfish_kpi/ | ||
H A D | dispatcher_shared_target.h | 29 union registers_arm disabled_save_area; ///< Disabled register save area member in struct:dispatcher_shared_arm |
/barrelfish-master/include/target/x86_64/barrelfish_kpi/ | ||
H A D | dispatcher_shared_target.h | 31 struct registers_x86_64 disabled_save_area; ///< Disabled register save area member in struct:dispatcher_shared_x86_64 |
/barrelfish-master/include/target/x86_32/barrelfish_kpi/ | ||
H A D | dispatcher_shared_target.h | 28 struct registers_x86_32 disabled_save_area; ///< Disabled register save area member in struct:dispatcher_shared_x86_32 |
Completed in 97 milliseconds