On Tue, Sep 16, 2025 at 11:47:02PM +0000, Dr. David Alan Gilbert wrote: > (I don't understand the structure as to why some stuff needs backend specific > reads and some are in env).
Ah, that's because HVF is working on a slightly different level of abstraction I suppose: the HVF impl will read/write values to VMCS via VMREAD/VMWRITE, which would be Intel VMX specific.
