AMD64 APMv2
Publication № 24593
Revision: 3.30
Date: September 2018
Appendix B (Layout of VMCB), page 599:
Look at offset 0F0h: AVIC LOGICAL_TABLE Pointer starts from 12 bit!
What is in [0..11] bits? Reserved? Or as in AVIC PHYSICAL_TABLE - reserved and index?