blob: 4b5f7bf2b7809575646ed47012e84c4276785e6f [file] [log] [blame]
Ingo Molnar0c2bd5a2008-01-30 13:32:49 +01001/*
Ingo Molnar063f8912009-02-03 18:02:36 +01002
3 x86 function call convention, 64-bit:
4 -------------------------------------
5 arguments | callee-saved | extra caller-saved | return
6 [callee-clobbered] | | [callee-clobbered] |
7 ---------------------------------------------------------------------------
8 rdi rsi rdx rcx r8-9 | rbx rbp [*] r12-15 | r10-11 | rax, rdx [**]
9
10 ( rsp is obviously invariant across normal function calls. (gcc can 'merge'
11 functions when it sees tail-call optimization possibilities) rflags is
12 clobbered. Leftover arguments are passed over the stack frame.)
13
14 [*] In the frame-pointers case rbp is fixed to the stack frame.
15
16 [**] for struct return values wider than 64 bits the return convention is a
17 bit more complex: up to 128 bits width we return small structures
18 straight in rax, rdx. For structures larger than that (3 words or
19 larger) the caller puts a pointer to an on-stack return struct
20 [allocated in the caller's stack frame] into the first argument - i.e.
21 into rdi. All other arguments shift up by one in this case.
22 Fortunately this case is rare in the kernel.
23
24For 32-bit we have the following conventions - kernel is built with
25-mregparm=3 and -freg-struct-return:
26
27 x86 function calling convention, 32-bit:
28 ----------------------------------------
29 arguments | callee-saved | extra caller-saved | return
30 [callee-clobbered] | | [callee-clobbered] |
31 -------------------------------------------------------------------------
32 eax edx ecx | ebx edi esi ebp [*] | <none> | eax, edx [**]
33
34 ( here too esp is obviously invariant across normal function calls. eflags
35 is clobbered. Leftover arguments are passed over the stack frame. )
36
37 [*] In the frame-pointers case ebp is fixed to the stack frame.
38
39 [**] We build with -freg-struct-return, which on 32-bit means similar
40 semantics as on 64-bit: edx can be used for a second return value
41 (i.e. covering integer and structure sizes up to 64 bits) - after that
42 it gets more complex and more expensive: 3-word or larger struct returns
43 get done in the caller's frame and the pointer to the return struct goes
44 into regparm0, i.e. eax - the other arguments shift up and the
45 function's register parameters degenerate to regparm=2 in essence.
46
47*/
48
David Howellsa1ce3922012-10-02 18:01:25 +010049#include <asm/dwarf2.h>
Ingo Molnar063f8912009-02-03 18:02:36 +010050
Peter Zijlstra1a338ac2013-08-14 14:51:00 +020051#ifdef CONFIG_X86_64
52
Ingo Molnar063f8912009-02-03 18:02:36 +010053/*
Tao Guo1b2b23d2012-09-26 04:28:22 -040054 * 64-bit system call stack frame layout defines and helpers,
55 * for assembly code:
Ingo Molnar0c2bd5a2008-01-30 13:32:49 +010056 */
Linus Torvalds1da177e2005-04-16 15:20:36 -070057
Denys Vlasenko76f5df42015-02-26 14:40:27 -080058/* The layout forms the "struct pt_regs" on the stack: */
59/*
60 * C ABI says these regs are callee-preserved. They aren't saved on kernel entry
61 * unless syscall needs a complete, fully filled "struct pt_regs".
62 */
63#define R15 0*8
64#define R14 1*8
65#define R13 2*8
66#define R12 3*8
67#define RBP 4*8
68#define RBX 5*8
69/* These regs are callee-clobbered. Always saved on kernel entry. */
70#define R11 6*8
71#define R10 7*8
72#define R9 8*8
73#define R8 9*8
74#define RAX 10*8
75#define RCX 11*8
76#define RDX 12*8
77#define RSI 13*8
78#define RDI 14*8
79/*
80 * On syscall entry, this is syscall#. On CPU exception, this is error code.
81 * On hw interrupt, it's IRQ number:
82 */
83#define ORIG_RAX 15*8
84/* Return frame for iretq */
85#define RIP 16*8
86#define CS 17*8
87#define EFLAGS 18*8
88#define RSP 19*8
89#define SS 20*8
Linus Torvalds1da177e2005-04-16 15:20:36 -070090
Denys Vlasenko911d2bb2015-02-26 14:40:36 -080091#define SIZEOF_PTREGS 21*8
92
Denys Vlasenko76f5df42015-02-26 14:40:27 -080093 .macro ALLOC_PT_GPREGS_ON_STACK addskip=0
94 subq $15*8+\addskip, %rsp
95 CFI_ADJUST_CFA_OFFSET 15*8+\addskip
Linus Torvalds1da177e2005-04-16 15:20:36 -070096 .endm
97
Denys Vlasenko29722cd2015-03-09 19:39:21 +010098 .macro SAVE_C_REGS_HELPER offset=0 rax=1 rcx=1 r8910=1 r11=1
99 .if \r11
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800100 movq_cfi r11, 6*8+\offset
Denys Vlasenko29722cd2015-03-09 19:39:21 +0100101 .endif
102 .if \r8910
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800103 movq_cfi r10, 7*8+\offset
104 movq_cfi r9, 8*8+\offset
105 movq_cfi r8, 9*8+\offset
106 .endif
107 .if \rax
108 movq_cfi rax, 10*8+\offset
109 .endif
110 .if \rcx
111 movq_cfi rcx, 11*8+\offset
112 .endif
113 movq_cfi rdx, 12*8+\offset
114 movq_cfi rsi, 13*8+\offset
115 movq_cfi rdi, 14*8+\offset
116 .endm
117 .macro SAVE_C_REGS offset=0
Denys Vlasenko29722cd2015-03-09 19:39:21 +0100118 SAVE_C_REGS_HELPER \offset, 1, 1, 1, 1
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800119 .endm
120 .macro SAVE_C_REGS_EXCEPT_RAX_RCX offset=0
Denys Vlasenko29722cd2015-03-09 19:39:21 +0100121 SAVE_C_REGS_HELPER \offset, 0, 0, 1, 1
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800122 .endm
123 .macro SAVE_C_REGS_EXCEPT_R891011
Denys Vlasenko29722cd2015-03-09 19:39:21 +0100124 SAVE_C_REGS_HELPER 0, 1, 1, 0, 0
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800125 .endm
126 .macro SAVE_C_REGS_EXCEPT_RCX_R891011
Denys Vlasenko29722cd2015-03-09 19:39:21 +0100127 SAVE_C_REGS_HELPER 0, 1, 0, 0, 0
128 .endm
129 .macro SAVE_C_REGS_EXCEPT_RAX_RCX_R11
130 SAVE_C_REGS_HELPER 0, 0, 0, 1, 0
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800131 .endm
Ingo Molnar0c2bd5a2008-01-30 13:32:49 +0100132
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800133 .macro SAVE_EXTRA_REGS offset=0
134 movq_cfi r15, 0*8+\offset
135 movq_cfi r14, 1*8+\offset
136 movq_cfi r13, 2*8+\offset
137 movq_cfi r12, 3*8+\offset
138 movq_cfi rbp, 4*8+\offset
139 movq_cfi rbx, 5*8+\offset
140 .endm
141 .macro SAVE_EXTRA_REGS_RBP offset=0
142 movq_cfi rbp, 4*8+\offset
143 .endm
144
145 .macro RESTORE_EXTRA_REGS offset=0
146 movq_cfi_restore 0*8+\offset, r15
147 movq_cfi_restore 1*8+\offset, r14
148 movq_cfi_restore 2*8+\offset, r13
149 movq_cfi_restore 3*8+\offset, r12
150 movq_cfi_restore 4*8+\offset, rbp
151 movq_cfi_restore 5*8+\offset, rbx
152 .endm
153
154 .macro RESTORE_C_REGS_HELPER rstor_rax=1, rstor_rcx=1, rstor_r11=1, rstor_r8910=1, rstor_rdx=1
Borislav Petkov838feb42011-05-31 22:21:53 +0200155 .if \rstor_r11
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800156 movq_cfi_restore 6*8, r11
Linus Torvalds1da177e2005-04-16 15:20:36 -0700157 .endif
Borislav Petkov838feb42011-05-31 22:21:53 +0200158 .if \rstor_r8910
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800159 movq_cfi_restore 7*8, r10
160 movq_cfi_restore 8*8, r9
161 movq_cfi_restore 9*8, r8
Linus Torvalds1da177e2005-04-16 15:20:36 -0700162 .endif
Borislav Petkov838feb42011-05-31 22:21:53 +0200163 .if \rstor_rax
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800164 movq_cfi_restore 10*8, rax
Linus Torvalds1da177e2005-04-16 15:20:36 -0700165 .endif
Borislav Petkov838feb42011-05-31 22:21:53 +0200166 .if \rstor_rcx
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800167 movq_cfi_restore 11*8, rcx
Linus Torvalds1da177e2005-04-16 15:20:36 -0700168 .endif
Borislav Petkov838feb42011-05-31 22:21:53 +0200169 .if \rstor_rdx
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800170 movq_cfi_restore 12*8, rdx
Linus Torvalds1da177e2005-04-16 15:20:36 -0700171 .endif
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800172 movq_cfi_restore 13*8, rsi
173 movq_cfi_restore 14*8, rdi
174 .endm
175 .macro RESTORE_C_REGS
176 RESTORE_C_REGS_HELPER 1,1,1,1,1
177 .endm
178 .macro RESTORE_C_REGS_EXCEPT_RAX
179 RESTORE_C_REGS_HELPER 0,1,1,1,1
180 .endm
181 .macro RESTORE_C_REGS_EXCEPT_RCX
182 RESTORE_C_REGS_HELPER 1,0,1,1,1
183 .endm
Denys Vlasenkod441c1f2015-02-26 14:40:38 -0800184 .macro RESTORE_C_REGS_EXCEPT_R11
185 RESTORE_C_REGS_HELPER 1,1,0,1,1
186 .endm
Denys Vlasenko29722cd2015-03-09 19:39:21 +0100187 .macro RESTORE_C_REGS_EXCEPT_RCX_R11
188 RESTORE_C_REGS_HELPER 1,0,0,1,1
189 .endm
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800190 .macro RESTORE_RSI_RDI
191 RESTORE_C_REGS_HELPER 0,0,0,0,0
192 .endm
193 .macro RESTORE_RSI_RDI_RDX
194 RESTORE_C_REGS_HELPER 0,0,0,0,1
Ingo Molnar0c2bd5a2008-01-30 13:32:49 +0100195 .endm
Linus Torvalds1da177e2005-04-16 15:20:36 -0700196
Denys Vlasenko76f5df42015-02-26 14:40:27 -0800197 .macro REMOVE_PT_GPREGS_FROM_STACK addskip=0
198 addq $15*8+\addskip, %rsp
199 CFI_ADJUST_CFA_OFFSET -(15*8+\addskip)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700200 .endm
201
202 .macro icebp
203 .byte 0xf1
204 .endm
Peter Zijlstra1a338ac2013-08-14 14:51:00 +0200205
206#else /* CONFIG_X86_64 */
207
208/*
209 * For 32bit only simplified versions of SAVE_ALL/RESTORE_ALL. These
210 * are different from the entry_32.S versions in not changing the segment
211 * registers. So only suitable for in kernel use, not when transitioning
212 * from or to user space. The resulting stack frame is not a standard
213 * pt_regs frame. The main use case is calling C code from assembler
214 * when all the registers need to be preserved.
215 */
216
217 .macro SAVE_ALL
Denys Vlasenko49db46a2015-02-26 14:40:25 -0800218 pushl_cfi_reg eax
219 pushl_cfi_reg ebp
220 pushl_cfi_reg edi
221 pushl_cfi_reg esi
222 pushl_cfi_reg edx
223 pushl_cfi_reg ecx
224 pushl_cfi_reg ebx
Peter Zijlstra1a338ac2013-08-14 14:51:00 +0200225 .endm
226
227 .macro RESTORE_ALL
Denys Vlasenko49db46a2015-02-26 14:40:25 -0800228 popl_cfi_reg ebx
229 popl_cfi_reg ecx
230 popl_cfi_reg edx
231 popl_cfi_reg esi
232 popl_cfi_reg edi
233 popl_cfi_reg ebp
234 popl_cfi_reg eax
Peter Zijlstra1a338ac2013-08-14 14:51:00 +0200235 .endm
236
237#endif /* CONFIG_X86_64 */
238