fix(aarch64): use dc civac instead of dc ivac in invalidate_dcache_range

[Inquisitor-201]

问题

invalidate_dcache_range() 使用 dc ivac（Data Cache Invalidate by VA to PoC）。该指令仅作废 cache line，不写回 dirty 数据。如果 cache line 处于 dirty 状态（有未写回 DRAM 的改动），数据会被静默丢弃。

影响

zone 创建流程中，arch_zone_reset() 在 guest VM 启动前对所有非 IO 内存区域做统一 cache clean & invalidate（"insurance"）。此时如果 hypervisor 或内核模块此前向该区域写入过数据（如 DTB、内核镜像、IVC 信息等），对应的 cache line 可能仍为 dirty。

触发路径：

zone_create()
  └─ arch_zone_reset()
       └─ invalidate_dcache_range()

在 root zone 初始化（main.rs）和通过 hypercall 创建 guest VM（hypercall/mod.rs）时均会执行。

修复

dc ivac → dc civac（Clean & Invalidate）：

• Clean：先写回 dirty cache line 到 Point of Coherency（PoC）
• Invalidate：再作废本地 PE 的 cache line

dc civac 是 dc ivac 的严格超集。同时修正了 arch_zone_reset 中注释的错误陈述（原注释声称 "invalidate operation will broadcast to all cores"），改为说明 InnerShareable 域中硬件一致性协议处理跨核 coherency 的正确理由。

影响范围

仅 aarch64 平台。单行指令变更，零回归风险。CIVAC 的 clean 步骤对 clean cache line 无额外开销，仅 dirty line 需写回，实际影响可忽略。

测试说明

该 bug 在 QEMU 上不可现（QEMU 不精确模拟 cache 行为，cache 操作通常是 no-op），在物理硬件（rk3588 等）上修复有效。

[liulog]

I agree with replacing ivac with civac, but I'm not entirely certain about broadcast.

Based on the diagram below, broadcasts using ivac and civac might not consider the share attribute. (Diagram from ARM Cortex-A Series Programmer’s Guide for ARMv8-A). Or perhaps I misunderstood.

[Inquisitor-201]

Thanks for the review! I have reverted the comment change in zone.rs — the original broadcast claim is correct per ARM ARM Table 14-1 (both DC IVAC and DC CIVAC broadcast). The PR is now reduced to just the 1-line instruction fix in cache.rs.

The justification for ivac → civac remains: on the VM creation path, the root zone data writes (kernel image, DTB, etc.) can leave dirty cache lines on the same PE. dc ivac discards them silently, while dc civac writes back before invalidating.