Cortex-A72 QEMU裸机开发中stdarg.h使用异常问题求助

DevOps 小满

2026-8-7

问题描述

为基于Cortex-A72的QEMU virt平台编写小型bootloader，已实现UART文本输出功能，希望编写轻量版printf提升文本输出灵活性，但使用stdarg.h时出现异常：

编译无错误，但调用可变参数函数后QEMU陷入死循环，使用GDB调试时无法退出函数，即使执行step命令也会冻结
汇编调试发现更异常的情况：函数开头有一系列保存寄存器到栈的str指令，执行其中str q1, [sp, #96]时，程序跳转到随机内存地址，相关汇编代码如下：

>0x400808b4 <printf>     stp     x29, x30, [sp, #-272]!
│   0x400808b8 <printf+4>   mov     x29, sp
│   0x400808bc <printf+8>   str     x0, [sp, #24]
│   0x400808c0 <printf+12>  str     x1, [sp, #216]
│   0x400808c4 <printf+16>  str     x2, [sp, #224]
│   0x400808c8 <printf+20>  str     x3, [sp, #232]
│   0x400808cc <printf+24>  str     x4, [sp, #240]
│   0x400808d0 <printf+28>  str     x5, [sp, #248]
│   0x400808d4 <printf+32>  str     x6, [sp, #256]
│   0x400808d8 <printf+36>  str     x7, [sp, #264]
│   0x400808dc <printf+40>  str     q0, [sp, #80]
│   0x400808e0 <printf+44>  str     q1, [sp, #96]
│   0x400808e4 <printf+48>  str     q2, [sp, #112]
│   0x400808e8 <printf+52>  str     q3, [sp, #128]
│   0x400808ec <printf+56>  str     q4, [sp, #144]
│   0x400808f0 <printf+60>  str     q5, [sp, #160]
│   0x400808f4 <printf+64>  str     q6, [sp, #176]
│   0x400808f8 <printf+68>  str     q7, [sp, #192]
│   0x400808fc <printf+72>  add     x0, sp, #0x110
│   0x40080900 <printf+76>  str     x0, [sp, #40]
│   0x40080904 <printf+80>  add     x0, sp, #0x110
│   0x40080908 <printf+84>  str     x0, [sp, #48]
│   0x4008090c <printf+88>  add     x0, sp, #0xd0
│   0x40080910 <printf+92>  str     x0, [sp, #56]
│   0x40080914 <printf+96>  mov     w0, #0xffffffc8
│   0x40080918 <printf+100> str     w0, [sp, #64]
│   0x4008091c <printf+104> mov     w0, #0xffffff80
│   0x40080920 <printf+108> str     w0, [sp, #68]
│   0x40080924 <printf+112> str     wzr, [sp, #76]
│   0x40080928 <printf+116> str     wzr, [sp, #72]

简化后的测试代码（仅使用可变参数）即可复现异常：

int va_test(int arg1, ...) {
    va_list ap;
    int next;

    va_start(ap, arg1);
    while (arg1) {
        next = va_arg(ap, int);
        arg1--;
    }
    va_end(ap);
    return next; 
}

int kmain() {
    va_test(1, 2);
    return 0;
}

疑问：裸机编程中能否使用stdarg.h？是否必须依赖内核？

解答

裸机编程可以使用stdarg.h，无需依赖内核
stdarg.h是C标准库的核心组件，其实现仅依赖编译器对可变参数调用约定的支持，不需要操作系统内核提供任何底层接口。你的问题并非stdarg.h本身无法在裸机环境运行，而是编译配置或CPU初始化的问题。
问题核心原因
从汇编代码可以看到，编译器生成了保存NEON寄存器（q0-q7）的指令，但Cortex-A72复位后，NEON/FPU单元默认处于禁用状态。此时访问NEON寄存器会触发未定义指令异常，如果你的bootloader没有正确设置异常向量表，程序就会跳转到随机地址，最终导致死循环或调试冻结。

编译器生成NEON相关代码的原因通常是：

编译选项默认启用了NEON/FPU优化，即使代码中没有显式使用浮点操作
编译器自动为可变参数函数生成了NEON寄存器保存逻辑

具体修复方案

禁用NEON/FPU优化：编译时添加-mfpu=none和-mfloat-abi=soft选项，强制编译器不生成NEON寄存器操作的代码，示例编译命令：
```
aarch64-none-elf-gcc -c -mfpu=none -mfloat-abi=soft your_bootloader.c -o your_bootloader.o
```
手动启用NEON/FPU：如果后续需要使用NEON功能，可以在bootloader初始化阶段通过设置CPACR_EL1寄存器启用该单元，示例汇编代码（AArch64）：
```
mrs x0, cpacr_el1
orr x0, x0, #(0b11 << 20)    // 置位FPEN位，启用FPU/NEON
msr cpacr_el1, x0
isb                          // 同步指令流，确保设置生效
```
检查栈对齐：AArch64调用约定要求栈指针保持16字节对齐，确认bootloader初始化时设置的栈地址是16的倍数（例如mov sp, #0x80000）。

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