Searched refs:XTR (Results 1 - 9 of 9) sorted by relevance
| /barrelfish-master/kernel/include/arch/aarch64/ |
| H A D | misc.h | 24 #define XTR(x) STR(x) macro
32 "mov "XTR(THREAD_REGISTER)", %[value]" :: [value] "r" (value)
40 "mov %[result]," XTR(THREAD_REGISTER) : [result] "=r" (result)
|
| /barrelfish-master/include/arch/aarch64/barrelfish/ |
| H A D | curdispatcher_arch.h | 24 #define XTR(x) STR(x) macro
|
| /barrelfish-master/include/arch/arm/barrelfish/ |
| H A D | curdispatcher_arch.h | 24 #define XTR(x) STR(x) macro
|
| /barrelfish-master/kernel/include/arch/arm/ |
| H A D | misc.h | 24 #define XTR(x) STR(x) macro
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | irq.c | 146 #define XTR(x) STR(x) macro
168 "movq "XTR(OFFSETOF_DCB_DISP)"(%rcx), %rcx /* rcx = dcb_current->disp */\n\t"
171 "cmpl $0, "XTR(OFFSETOF_DISP_DISABLED)"(%rcx) /* disp->disabled ? */\n\t"
175 "cmpq "XTR(OFFSETOF_DISP_X86_64_CRIT_PC_LOW)"(%rcx), %rbx /* crit_pc_low <= rip? */\n\t"
179 "addq $"XTR(OFFSETOF_DISP_X86_64_ENABLED_AREA)", %rcx /* rcx = enabled_save_area */\n\t"
182 "cmpq "XTR(OFFSETOF_DISP_X86_64_CRIT_PC_HIGH)"(%rcx), %rbx /* crit_pc_high > rip? */\n\t"
186 "addq $"XTR(OFFSETOF_DISP_X86_64_TRAP_AREA)", %rcx /* trap_save_area */\n\t"
207 "mov %fs, "XTR(OFFSETOF_FS_REG)"(%rcx) \n\t"
208 "mov %gs, "XTR(OFFSETOF_GS_REG)"(%rcx) \n\t"
209 "fxsave "XTR(OFFSETOF_FXSAVE_ARE
[all...] |
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | irq.c | 116 #define XTR(x) STR(x) macro
140 "movl "XTR(OFFSETOF_DCB_DISP)"(%ecx), %ecx /* ecx = dcb_current->disp */\n\t"
143 "cmpl $0, "XTR(OFFSETOF_DISP_DISABLED)"(%ecx) /* disp->disabled ? */\n\t"
147 "cmpl "XTR(OFFSETOF_DISP_X86_32_CRIT_PC_LOW)"(%ecx), %ebx /* crit_pc_low <= rip? */\n\t"
151 "addl $"XTR(OFFSETOF_DISP_X86_32_ENABLED_AREA)", %ecx /* ecx = enabled_save_area */\n\t"
154 "cmpl "XTR(OFFSETOF_DISP_X86_32_CRIT_PC_HIGH)"(%ecx), %ebx /* crit_pc_high > rip? */\n\t"
158 "addl $"XTR(OFFSETOF_DISP_X86_32_TRAP_AREA)", %ecx /* trap_save_area */\n\t"
171 "mov %fs, "XTR(OFFSETOF_FS_REG)"(%ecx) \n\t"
172 "mov %gs, "XTR(OFFSETOF_GS_REG)"(%ecx) \n\t"
183 "movl "XTR(OFFSETOF_DCB_DIS
[all...] |
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | exec.c | 106 "mov w0, #" XTR(WAIT_FOR_INTERRUPT_MAGIC) " \n\t"
|
| /barrelfish-master/lib/barrelfish/arch/arm/ |
| H A D | dispatch.c | 63 " str r2, [r0, # " XTR(OFFSETOF_DISP_DISABLED) "] \n\t"
96 " str r2, [r0, # (" XTR(PC_REG) " * 4)] \n\t"
|
| /barrelfish-master/lib/barrelfish/arch/aarch64/ |
| H A D | dispatch.c | 67 "ldp x18, x2, [%[regs], #("XTR(PC_REG)" * 8)]\n"
|
Completed in 172 milliseconds