On Wed, Sep 26, 2018 at 11:56 AM, Sean Christopherson <sean.j.christopherson@xxxxxxxxx> wrote: > This check is handled by "!IS_ALIGNED(address, 4096)". There's also > existing unit test coverage for this, albeit it's not what one would > describe as exhaustive, e.g.: > > test_vmcs_page_addr(name, encoding, ignored, > xfail_beyond_mapped_ram, PAGE_SIZE - 1); > If that's a line from test_vmcs_page_values, there are quite a few more interesting values tested in that function, including each individual bit. However, I don't see a caller of test_vmcs_page_reference() for the PMLADDR field.
