Linux 2.6.11内核kernel_thread_helper内联汇编传参机制疑问

我正在研究Linux 2.6.11版本内核的源码，对arch/i386/kernel/process.c中的内联汇编kernel_thread_helper感到困惑。初始时%ebx寄存器存储函数地址，%edx寄存器存储要传递给该函数的指针，代码如下：

extern void kernel_thread_helper(void);
__asm__(".section .text\n"
    ".align 4\n"
    "kernel_thread_helper:\n\t"
    "movl %edx,%eax\n\t"
    "pushl %edx\n\t"
    "call *%ebx\n\t"
    "pushl %eax\n\t"
    "call do_exit\n"
    ".previous");

针对两个疑问的解答：

疑问1：为何要执行movl %edx,%eax？ #

Linux 2.6.11的i386内核默认使用__attribute__((regparm(3)))调用约定——前3个函数参数依次通过%eax、%edx、%ecx传递，而非用户态常用的栈传方式。

%ebx指向的目标函数原型是int (*fn)(void *)，它的第一个参数（即存在%edx里的指针）需要放在%eax中才能符合内核的调用约定，让函数正确读取参数。pushl %edx是额外的栈操作，但核心的参数传递是通过%eax完成的，这也是mov指令存在的意义。

疑问2：关于regparm兼容与栈残留的误区 #

你的方向没错，movl %edx,%eax确实是为了适配内核的regparm调用约定，但担心“pushl %edx压入的指针无人弹出”是多余的：

目标函数执行完毕后，代码紧接着调用do_exit——这是内核终止进程的核心函数，它不会返回，进程的地址空间（包括当前栈）会直接被回收。栈上残留的这个压入值根本没有机会造成任何问题，自然不需要弹出。

另外补充一点：pushl %edx可能是历史遗留代码（比如早期内核使用栈传参数的版本），但在当前版本中，即使保留也不会影响功能，因为后续的do_exit直接终止了进程。

内容的提问来源于stack exchange，提问作者rqdmap