There are other differences between Intel and AMD's implementation of the x86-64 ISA. For an exemple of a bug which affected only Intel processors: https://blog

There are other differences between Intel and AMD's implementation of the x86-64 ISA. For an exemple of a bug which affected only Intel processors: https://blog.xenproject.org/2012/06/13/the-intel-sysret-privilege-escalation/ https://blog.xenproject.org/2012/06/13/the-intel-sysret-priv...