K3 mhpmeventX寄存器的VSINH/VUINH域是否实现

在K3开发板上测试mhpmevent3寄存器的高位读写:
bit 63 OF
bit 62 MINH
bit 61 SINH
bit 60 UINH
bit 59 VSINH
bit 58 VUINH
最后测出一下结果:
Bad Value: 0xf000000000000000
Expected Value: 0xfc00000000000000

0xfc00... 是 bit 63…58 全部可写可读;0xf000... 只有 bit 63…60,少了:
0x0800000000000000 VSINH
0x0400000000000000 VUINH

已确认K3 支持H + Sscofpmf扩展,测试运行在X100 core上。请问K3 mhpmeventX寄存器的VSINH/VUINH域是否实现?
期待您的答复!

K3 X100 mhpmeventX寄存器的VSINH/VUINH域是有实现的,请把测试环境和测试方法发出来,我们看看是什么原因。
我们自己在opensbi里添加测试代码,测试结果如下图: