On 9/26/19 10:18 AM, Paolo Bonzini wrote: > Currently, we are overloading SPTE_SPECIAL_MASK to mean both > "A/D bits unavailable" and MMIO, where the difference between the > two is determined by mio_mask and mmio_value. > > However, the next patch will need two bits to distinguish > availability of A/D bits from write protection. So, while at > it give MMIO its own bit pattern, and move the two bits from > bit 62 to bits 52..53 since Intel is allocating EPT page table > bits from the top. > > Signed-off-by: Paolo Bonzini <pbonzini@xxxxxxxxxx> > --- Reviewed-by: Junaid Shahid <junaids@xxxxxxxxxx>