15af785ecSfengbojiang(姜凤波) /*
2*d30ea906Sjfb8856606  * SPDX-License-Identifier: BSD-3-Clause
3*d30ea906Sjfb8856606  * Copyright 2015 Intel Corporation.
4*d30ea906Sjfb8856606  * Copyright 2012 Hasan Alayli <[email protected]>
55af785ecSfengbojiang(姜凤波)  */
65af785ecSfengbojiang(姜凤波) 
7a9643ea8Slogwang #if defined(__x86_64__)
8a9643ea8Slogwang __asm__ (
9a9643ea8Slogwang ".text\n"
10a9643ea8Slogwang ".p2align 4,,15\n"
11a9643ea8Slogwang ".globl ctx_switch\n"
12a9643ea8Slogwang ".globl _ctx_switch\n"
13a9643ea8Slogwang "ctx_switch:\n"
14a9643ea8Slogwang "_ctx_switch:\n"
15a9643ea8Slogwang "	movq %rsp, 0(%rsi)	# save stack_pointer\n"
16a9643ea8Slogwang "	movq %rbp, 8(%rsi)	# save frame_pointer\n"
17a9643ea8Slogwang "	movq (%rsp), %rax	# save insn_pointer\n"
18a9643ea8Slogwang "	movq %rax, 16(%rsi)\n"
19a9643ea8Slogwang "	movq %rbx, 24(%rsi)\n	# save rbx,r12-r15\n"
20a9643ea8Slogwang "	movq 24(%rdi), %rbx\n"
21a9643ea8Slogwang "	movq %r15, 56(%rsi)\n"
22a9643ea8Slogwang "	movq %r14, 48(%rsi)\n"
23a9643ea8Slogwang "	movq 48(%rdi), %r14\n"
24a9643ea8Slogwang "	movq 56(%rdi), %r15\n"
25a9643ea8Slogwang "	movq %r13, 40(%rsi)\n"
26a9643ea8Slogwang "	movq %r12, 32(%rsi)\n"
27a9643ea8Slogwang "	movq 32(%rdi), %r12\n"
28a9643ea8Slogwang "	movq 40(%rdi), %r13\n"
29a9643ea8Slogwang "	movq 0(%rdi), %rsp	# restore stack_pointer\n"
30a9643ea8Slogwang "	movq 16(%rdi), %rax	# restore insn_pointer\n"
31a9643ea8Slogwang "	movq 8(%rdi), %rbp	# restore frame_pointer\n"
32a9643ea8Slogwang "	movq %rax, (%rsp)\n"
33a9643ea8Slogwang "	ret\n"
34a9643ea8Slogwang 	);
35a9643ea8Slogwang #else
36a9643ea8Slogwang #pragma GCC error "__x86_64__ is not defined"
37a9643ea8Slogwang #endif
38