genode/repos/base-hw/include/spec/x86_64
Benjamin Lamowski 69b76ba9ed hw: move physical VMCB address out of the VMCB
The physical address of the memory used for the guest VMCB is already
present in Vcpu_data. Use the information there instead of storing the
physical address in the host data area, thereby freeing up 8 bytes for
a bigger Mmio class.

Issue #4081
2024-02-26 08:31:05 +01:00
..
cpu hw: move physical VMCB address out of the VMCB 2024-02-26 08:31:05 +01:00