我们在开发的时候需要用到opensbi里的某些服务，比如全局刷新/无效数据cache。
在opensbi里这两个接口是直接操作了0x7c2这个CSR寄存器，它的含义我并没有在手册中找到，能否提供更详细的手册介绍？
这个寄存器是riscv标准的，可以参考riscv指令集手册RISC-V 指令集手册中文正式版本: 本仓库发布由工委会组织编译并审核通过的RISC-V 指令集手册中文版，包括RISC-V 指令集手册第1卷（非特权架构）、RISC-V 指令集手册第2卷（特权架构）。 - Gitee.com
0x7c2是vendor自定义的寄存器，标准里面没有定义，所以这个回答是错的
这个看起来比较合理。看了一下opensbi源码，k1似乎是直接使用了arm的corelink CCI来实现cache coherency。这个CSR背后应该是直接操作CCI来做cache invalidation。