Symbol: XPV_DISALLOW_PAGETABLE_UPDATES