裸机环境下指针取值与原变量不符问题求助

从你描述的诡异现象（var == 1但*p_var != var）和贴出的代码来看，这个问题大概率和内存区域重叠、上下文栈操作、内存属性配置有关，结合ARMv8裸机的特性，我整理几个优先级最高的排查方向：

1. 优先排查：栈溢出覆盖全局变量指针 #

你的EL1栈是在el1_entry里用mov sp, #LOW_MEMORY初始化的，而中断处理时kernel_entry宏会向栈中压入大量寄存器（算下来至少272字节的栈空间）。如果全局变量var和p_var的存储地址刚好在栈的向下增长范围内，就会被中断压栈操作覆盖——尤其是p_var本身是一个指针变量，一旦它的存储内容被栈数据改写，就会指向错误的内存地址，导致*p_var和var的值不一致。

排查步骤： #

• 用nm工具查看目标文件中var和p_var的实际地址：

  nm your_kernel.elf | grep -E "var|p_var"
  

• 查看LOW_MEMORY的定义值，计算栈使用的最低地址：LOW_MEMORY - S_FRAME_SIZE（S_FRAME_SIZE是你定义的中断栈帧大小，从kernel_entry宏看至少是16*17=272字节）。
• 对比全局变量地址和栈地址范围：如果var或p_var的地址落在[LOW_MEMORY - S_FRAME_SIZE, LOW_MEMORY]区间内，说明栈和全局变量区域重叠，必须调整链接脚本，把全局变量段移到远离栈的内存区域。

另外，你可以先看timer_tick里equal: true/false的输出：如果是false，直接坐实p_var的值被篡改了，栈溢出是最可能的原因。

2. 检查MMU与内存属性配置 #

你的启动代码一开始关闭了MMU，但如果kernel_main中开启了MMU，需要确认页表配置是否正确：

• 全局变量所在的内存区域，其虚拟地址和物理地址的映射是否一致？如果链接脚本用的是物理地址，而MMU开启后虚拟地址映射到了不同的物理页，会导致p_var（链接时的物理地址）和var（运行时的虚拟地址）指向不同的实际内存。
• 内存属性是否配置正确？比如全局变量所在的页是否被标记为可读写、缓存一致性正常？如果var的访问走了缓存，而p_var指向的地址被配置为非缓存，可能出现缓存不一致的情况，导致读取值不同。

临时验证方法： #

在timer_tick中访问var和*p_var之前，加入ARM内存屏障指令强制同步：

void timer_tick(void) {
    char buff[] = "0000000000000000";
    dmb sy; // 强制内存同步
    parse_int(*p_var, buff, 16);
    // ... 其余代码
    dmb sy;
    parse_int(var, buff, 16);
    // ... 其余代码
}

如果加入后现象消失，说明是内存一致性问题，需要调整MMU的内存属性配置。

3. 确认启动代码的段初始化完整性 #

你的el1_entry中只做了bss段的清零，但data段（存放已初始化全局变量的区域）的初始化通常需要从ROM拷贝到RAM。如果你的链接脚本把data段放在RAM，但启动时没有完成拷贝，var的初始值1可能没有被正确加载——不过你说var == 1，这个可能性较低，但还是建议检查启动代码中是否有data段拷贝的逻辑。

4. 中断上下文恢复的正确性 #

检查kernel_exit宏中寄存器恢复的顺序是否和kernel_entry完全对应：比如你在kernel_entry中最后存储的是x30, x22和x23，恢复时的顺序是否正确？如果寄存器恢复出错，可能导致后续代码中使用的寄存器值异常，间接影响内存访问（不过这个概率相对较低，但也不能完全排除）。

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