Symbol: ARM_LPAE_PTE_SW_SYNC