1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Function calling ABI conversion from Linux to EFI for x86_64
5 * Copyright (C) 2007 Intel Corp
6 * Bibo Mao <bibo.mao@intel.com>
7 * Huang Ying <ying.huang@intel.com>
10 #include <linux/linkage.h>
11 #include <asm/segment.h>
13 #include <asm/processor-flags.h>
14 #include <asm/page_types.h>
23 mov %rax, 0x8(%rsp); \
24 movaps %xmm0, 0x60(%rsp); \
25 movaps %xmm1, 0x50(%rsp); \
26 movaps %xmm2, 0x40(%rsp); \
27 movaps %xmm3, 0x30(%rsp); \
28 movaps %xmm4, 0x20(%rsp); \
29 movaps %xmm5, 0x10(%rsp)
32 movaps 0x60(%rsp), %xmm0; \
33 movaps 0x50(%rsp), %xmm1; \
34 movaps 0x40(%rsp), %xmm2; \
35 movaps 0x30(%rsp), %xmm3; \
36 movaps 0x20(%rsp), %xmm4; \
37 movaps 0x10(%rsp), %xmm5; \
38 mov 0x8(%rsp), %rsi; \