Searched refs:dispatcher_shared_aarch64 (Results 1 - 10 of 10) sorted by relevance
| /barrelfish-2018-10-04/include/target/aarch64/barrelfish_kpi/ |
| H A D | dispatcher_shared_target.h | 21 struct dispatcher_shared_aarch64 { struct
33 static inline struct dispatcher_shared_aarch64*
36 return (struct dispatcher_shared_aarch64*)handle;
|
| /barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/ |
| H A D | dispatcher_shared_arch.h | 35 struct dispatcher_shared_aarch64 *dispaarch64 =
44 return &((struct dispatcher_shared_aarch64 *)handle)->enabled_save_area;
50 return &((struct dispatcher_shared_aarch64 *)handle)->disabled_save_area;
56 return &((struct dispatcher_shared_aarch64 *)handle)->trap_save_area;
|
| /barrelfish-2018-10-04/include/target/aarch64/barrelfish/ |
| H A D | dispatcher_target.h | 24 struct dispatcher_shared_aarch64 d; ///< Shared (user/kernel) data. Must be first.
|
| /barrelfish-2018-10-04/lib/barrelfish/arch/aarch64/ |
| H A D | dispatch.c | 134 struct dispatcher_shared_aarch64 *disp =
174 struct dispatcher_shared_aarch64 *disp =
206 struct dispatcher_shared_aarch64 *disp =
231 struct dispatcher_shared_aarch64 *disp =
257 struct dispatcher_shared_aarch64 *disp =
|
| /barrelfish-2018-10-04/tools/asmoffsets/ |
| H A D | asmoffsets.c | 155 DECL(DISP_CRIT_PC_LOW, struct dispatcher_shared_aarch64, crit_pc_low);
156 DECL(DISP_CRIT_PC_HIGH, struct dispatcher_shared_aarch64, crit_pc_high);
157 DECL(DISP_ENABLED_AREA, struct dispatcher_shared_aarch64, enabled_save_area);
158 DECL(DISP_DISABLED_AREA, struct dispatcher_shared_aarch64, disabled_save_area);
159 DECL(DISP_TRAP_AREA, struct dispatcher_shared_aarch64, trap_save_area);
|
| /barrelfish-2018-10-04/kernel/arch/armv8/ |
| H A D | exec.c | 61 struct dispatcher_shared_aarch64 *disp_aarch64 =
|
| H A D | exn.c | 31 struct dispatcher_shared_aarch64 *disp =
100 struct dispatcher_shared_aarch64 *disp =
|
| H A D | startup_arch.c | 518 struct dispatcher_shared_aarch64 *disp_aarch64;
598 struct dispatcher_shared_aarch64 *disp_aarch64 =
705 struct dispatcher_shared_aarch64 *disp_aarch64 =
|
| H A D | syscall.c | 1072 struct dispatcher_shared_aarch64 *disp =
|
| /barrelfish-2018-10-04/lib/spawndomain/arch/aarch64/ |
| H A D | spawn_arch.c | 212 struct dispatcher_shared_aarch64* disp_arm =
|
Completed in 56 milliseconds