Is hstatus.VGEIN used to index guest interupt files when accessing iCSR via VSISELECT/VSIREG window?

[zengderui]

If I understand the spec correctly, each guest interrupt file has its own iCSR register file, and hstatus.VGEIN selects the iCSR file when VS-level iCSR files. E.g. when hstatus.VGEIN is 3 and VSISELECT is 0x70, accessing VSIREG ends up accessing eideilivery iCSR of guest interrupt file 3.

It seems the spec does not explicitly state how guest interrupt file is selected, I'd appreciate it if anyone clarifies it. Thanks in advance!