<cpus>
  <model name='Cascadelake-Server-v3'>
    <decode host='on' guest='off'/>
    <model name='Cascadelake-Server-noTSX'/>
  </model>
</cpus>
