/* x86 function call convention, 64-bit: ------------------------------------- arguments | callee-saved | extra caller-saved | return [callee-clobbered] | | [callee-clobbered] | --------------------------------------------------------------------------- rdi rsi rdx rcx r8-9 | rbx rbp [*] r12-15 | r10-11 | rax, rdx [**] ( rsp is obviously invariant across normal function calls. (gcc can 'merge' functions when it sees tail-call optimization possibilities) rflags is clobbered. Leftover arguments are passed over the stack frame.) [*] In the frame-pointers case rbp is fixed to the stack frame. [**] for struct return values wider than 64 bits the return convention is a bit more complex: up to 128 bits width we return small structures straight in rax, rdx. For structures larger than that (3 words or larger) the caller puts a pointer to an on-stack return struct [allocated in the caller's stack frame] into the first argument - i.e. into rdi. All other arguments shift up by one in this case. Fortunately this case is rare in the kernel. For 32-bit we have the following conventions - kernel is built with -mregparm=3 and -freg-struct-return: x86 function calling convention, 32-bit: ---------------------------------------- arguments | callee-saved | extra caller-saved | return [callee-clobbered] | | [callee-clobbered] | ------------------------------------------------------------------------- eax edx ecx | ebx edi esi ebp [*] | | eax, edx [**] ( here too esp is obviously invariant across normal function calls. eflags is clobbered. Leftover arguments are passed over the stack frame. ) [*] In the frame-pointers case ebp is fixed to the stack frame. [**] We build with -freg-struct-return, which on 32-bit means similar semantics as on 64-bit: edx can be used for a second return value (i.e. covering integer and structure sizes up to 64 bits) - after that it gets more complex and more expensive: 3-word or larger struct returns get done in the caller's frame and the pointer to the return struct goes into regparm0, i.e. eax - the other arguments shift up and the function's register parameters degenerate to regparm=2 in essence. */ #include "dwarf2.h" /* * 64-bit system call stack frame layout defines and helpers, for * assembly code (note that the seemingly unnecessary parentheses * are to prevent cpp from inserting spaces in expressions that get * passed to macros): */ #define R15 (0) #define R14 (8) #define R13 (16) #define R12 (24) #define RBP (32) #define RBX (40) /* arguments: interrupts/non tracing syscalls only save up to here: */ #define R11 (48) #define R10 (56) #define R9 (64) #define R8 (72) #define RAX (80) #define RCX (88) #define RDX (96) #define RSI (104) #define RDI (112) #define ORIG_RAX (120) /* + error_code */ /* end of arguments */ /* cpu exception frame or undefined in case of fast syscall: */ #define RIP (128) #define CS (136) #define EFLAGS (144) #define RSP (152) #define SS (160) #define ARGOFFSET R11 #define SWFRAME ORIG_RAX .macro SAVE_ARGS addskip=0, save_rcx=1, save_r891011=1 subq $9*8+\addskip, %rsp CFI_ADJUST_CFA_OFFSET 9*8+\addskip movq_cfi rdi, 8*8 movq_cfi rsi, 7*8 movq_cfi rdx, 6*8 .if \save_rcx movq_cfi rcx, 5*8 .endif movq_cfi rax, 4*8 .if \save_r891011 movq_cfi r8, 3*8 movq_cfi r9, 2*8 movq_cfi r10, 1*8 movq_cfi r11, 0*8 .endif .endm #define ARG_SKIP (9*8) .macro RESTORE_ARGS rstor_rax=1, addskip=0, rstor_rcx=1, rstor_r11=1, \ rstor_r8910=1, rstor_rdx=1 .if \rstor_r11 movq_cfi_restore 0*8, r11 .endif .if \rstor_r8910 movq_cfi_restore 1*8, r10 movq_cfi_restore 2*8, r9 movq_cfi_restore 3*8, r8 .endif .if \rstor_rax movq_cfi_restore 4*8, rax .endif .if \rstor_rcx movq_cfi_restore 5*8, rcx .endif .if \rstor_rdx movq_cfi_restore 6*8, rdx .endif movq_cfi_restore 7*8, rsi movq_cfi_restore 8*8, rdi .if ARG_SKIP+\addskip > 0 addq $ARG_SKIP+\addskip, %rsp CFI_ADJUST_CFA_OFFSET -(ARG_SKIP+\addskip) .endif .endm .macro LOAD_ARGS offset, skiprax=0 movq \offset(%rsp), %r11 movq \offset+8(%rsp), %r10 movq \offset+16(%rsp), %r9 movq \offset+24(%rsp), %r8 movq \offset+40(%rsp), %rcx movq \offset+48(%rsp), %rdx movq \offset+56(%rsp), %rsi movq \offset+64(%rsp), %rdi .if \skiprax .else movq \offset+72(%rsp), %rax .endif .endm #define REST_SKIP (6*8) .macro SAVE_REST subq $REST_SKIP, %rsp CFI_ADJUST_CFA_OFFSET REST_SKIP movq_cfi rbx, 5*8 movq_cfi rbp, 4*8 movq_cfi r12, 3*8 movq_cfi r13, 2*8 movq_cfi r14, 1*8 movq_cfi r15, 0*8 .endm .macro RESTORE_REST movq_cfi_restore 0*8, r15 movq_cfi_restore 1*8, r14 movq_cfi_restore 2*8, r13 movq_cfi_restore 3*8, r12 movq_cfi_restore 4*8, rbp movq_cfi_restore 5*8, rbx addq $REST_SKIP, %rsp CFI_ADJUST_CFA_OFFSET -(REST_SKIP) .endm .macro SAVE_ALL SAVE_ARGS SAVE_REST .endm .macro RESTORE_ALL addskip=0 RESTORE_REST RESTORE_ARGS 1, \addskip .endm .macro icebp .byte 0xf1 .endm