内核源码中的汇编有一点不理解

李营长

1. asm(
   
2.                 /* Store host registers */
   
3.                 "push %%"R"dx; push %%"R"bp;"
   
4.                 "push %%"R"cx \n\t"
   
5.                 "cmp %%"R"sp, %c[host_rsp]([color=Red]%0[/color]) \n\t"
   
6.                 "je 1f \n\t"
   
7.                 "mov %%"R"sp, %c[host_rsp](%0) \n\t"
   
8.                 __ex(ASM_VMX_VMWRITE_RSP_RDX) "\n\t"
   
9.                 "1: \n\t"
   
10.                 /* Reload cr2 if changed */
    
11.                 "mov %c[cr2](%0), %%"R"ax \n\t"
    
12.                 "mov %%cr2, %%"R"dx \n\t"
    
13.                 "cmp %%"R"ax, %%"R"dx \n\t"
    
14.                 "je 2f \n\t"
    
15.                 "mov %%"R"ax, %%cr2 \n\t"
    
16.                 "2: \n\t"
    
17.                 /* Check if vmlaunch of vmresume is needed */
    
18.                 "cmpl $0, %c[launched](%0) \n\t"
    
19.                 /* Load guest registers.  Don't clobber flags. */
    
20.                 "mov %c[rax](%0), %%"R"ax \n\t"
    
21.                 "mov %c[rbx](%0), %%"R"bx \n\t"
    
22.                 "mov %c[rdx](%0), %%"R"dx \n\t"
    
23.                 "mov %c[rsi](%0), %%"R"si \n\t"
    
24.                 "mov %c[rdi](%0), %%"R"di \n\t"
    
25.                 "mov %c[rbp](%0), %%"R"bp \n\t"
    
26. #ifdef CONFIG_X86_64
    
27.                 "mov %c[r8](%0),  %%r8  \n\t"
    
28.                 "mov %c[r9](%0),  %%r9  \n\t"
    
29.                 "mov %c[r10](%0), %%r10 \n\t"
    
30.                 "mov %c[r11](%0), %%r11 \n\t"
    
31.                 "mov %c[r12](%0), %%r12 \n\t"
    
32.                 "mov %c[r13](%0), %%r13 \n\t"
    
33.                 "mov %c[r14](%0), %%r14 \n\t"
    
34.                 "mov %c[r15](%0), %%r15 \n\t"
    
35. #endif
    
36.                 "mov %c[rcx](%0), %%"R"cx \n\t" /* kills %0 (ecx) */
    
37. 
    
38.                 /* Enter guest mode */
    
39.                 "jne .Llaunched \n\t"
    
40.                 __ex(ASM_VMX_VMLAUNCH) "\n\t"
    
41.                 "jmp .Lkvm_vmx_return \n\t"
    
42.                 ".Llaunched: " __ex(ASM_VMX_VMRESUME) "\n\t"
    
43.                 ".Lkvm_vmx_return: "
    
44.                 /* Save guest registers, load host registers, keep flags */
    
45.                 "xchg %0,     (%%"R"sp) \n\t"
    
46.                 "mov %%"R"ax, %c[rax](%0) \n\t"
    
47.                 "mov %%"R"bx, %c[rbx](%0) \n\t"
    
48.                 "push"Q" (%%"R"sp); pop"Q" %c[rcx](%0) \n\t"
    
49.                 "mov %%"R"dx, %c[rdx](%0) \n\t"
    
50.                 "mov %%"R"si, %c[rsi](%0) \n\t"
    
51.                 "mov %%"R"di, %c[rdi](%0) \n\t"
    
52.                 "mov %%"R"bp, %c[rbp](%0) \n\t"
    
53. #ifdef CONFIG_X86_64
    
54.                 "mov %%r8,  %c[r8](%0) \n\t"
    
55.                 "mov %%r9,  %c[r9](%0) \n\t"
    
56.                 "mov %%r10, %c[r10](%0) \n\t"
    
57.                 "mov %%r11, %c[r11](%0) \n\t"
    
58.                 "mov %%r12, %c[r12](%0) \n\t"
    
59.                 "mov %%r13, %c[r13](%0) \n\t"
    
60.                 "mov %%r14, %c[r14](%0) \n\t"
    
61.                 "mov %%r15, %c[r15](%0) \n\t"
    
62. #endif
    
63.                 "mov %%cr2, %%"R"ax   \n\t"
    
64.                 "mov %%"R"ax, %c[cr2](%0) \n\t"
    
65. 
    
66.                 "pop  %%"R"bp; pop  %%"R"bp; pop  %%"R"dx \n\t"
    
67.                 "setbe %c[fail](%0) \n\t"
    
68.               : : "c"(vmx), "d"((unsigned long)HOST_RSP),
    
69.                 [launched]"i"(offsetof(struct vcpu_vmx, launched)),
    
70.                 [fail]"i"(offsetof(struct vcpu_vmx, fail)),
    
71.                 [host_rsp]"i"(offsetof(struct vcpu_vmx, host_rsp)),
    
72.                 [rax]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_RAX])),
    
73.                 [rbx]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_RBX])),
    
74.                 [rcx]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_RCX])),
    
75.                 [rdx]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_RDX])),
    
76.                 [rsi]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_RSI])),
    
77.                 [rdi]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_RDI])),
    
78.                 [rbp]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_RBP])),
    
79. #ifdef CONFIG_X86_64
    
80.                 [r8]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_R8])),
    
81.                 [r9]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_R9])),
    
82.                 [r10]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_R10])),
    
83.                 [r11]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_R11])),
    
84.                 [r12]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_R12])),
    
85.                 [r13]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_R13])),
    
86.                 [r14]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_R14])),
    
87.                 [r15]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_R15])),
    
88. #endif
    
89.                 [cr2]"i"(offsetof(struct vcpu_vmx, vcpu.arch.cr2))
    
90.               : "cc", "memory"
    
91.                 , R"ax", R"bx", R"di", R"si"
    
92. #ifdef CONFIG_X86_64
    
93.                 , "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15"
    
94. #endif
    
95.               );

复制代码

里面出现了非常多的%0，"mov %%r9,  %c[r9](%0),这里的%0是什么意思？看起来明显不像是用第0个参数。

bottles

以我比较菜的水平我认为这是个placeholder.
look at the definition:

the extended asm format provides placeholders that can be used to reference input and
output values within the inline assembly code. This enables you to declare input and output values in
any register or memory location that is convenient for the compiler.
The placeholders are numbers, preceded by a percent sign. Each input and output value listed in the inline
assembly code is assigned a number based on its location in the listing, starting with zero. The placeholders
can then be used in the assembly code to represent the values.

and here are one example.

For example, the following inline code:
asm (“assembly code”
: “=r”(result)
: “r”(data1), “r”(data2));
will produce the following placeholders:
❑ %0 will represent the register containing the result variable value.
❑ %1 will represent the register containing the data1 variable value.
❑ %2 will represent the register containing the data2 variable value.

李营长

回复 2# bottles


    不是这段文字所表示的意思，在这段文字里，%0,%1,%2表示的是参数，

bottles

回复 3# 李营长


    我认为，这个列表里面output没有%0最有可能代表的是第1个参数vmx

李营长

回复 4# bottles


    我已经写代码验证了，确实%0指的就是第0个参数，你说的是对的。

李营长

另一个问题是
               /* Enter guest mode */
                "jne .Llaunched \n\t"
                __ex(ASM_VMX_VMLAUNCH) "\n\t"  //执行vmlaunch
                "jmp .Lkvm_vmx_return \n\t"
                ".Llaunched: " __ex(ASM_VMX_VMRESUME) "\n\t" //执行vm resum
                ".Lkvm_vmx_return: "

看手册，vm launch和vm resume只是讲了一系列的条件较验，难道这两条指令会一直卡住直到vm exit才会执行到kvm_vmx_return？)

塑料袋

%0是vmx，作为基址。
r1等是vmx内的字段，作为偏移。

vmlaunch或vmresume后，就进入guest os了。直到guest os触发vm exit。

李营长

回复 7# 塑料袋


    这样的话，就没问题了。

myworkstation

回复 1# 李营长


    格式：asm(code : output operand list : input operand list : clobber list);
    在这个调用里output operand list 被忽略，表达式mov %%r9,  %c[r9](%0)中%0在这里实际上是指"c"(vmx)中的vmx这个C中的变量。%c[r9]是指[r9]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_R9]))这个直接量，%c在这里表示常量(constant)，%c[r9](%0)表示vms->vcpu.arch.regs[VCPU_REGS_R9]。VCPU_REGS_R9 = 9，在x86系统下regs的定义是unsigned long regs[NR_VCPU_REGS];

snow888

@李营长验证代码是如何写的？