-# DO NOT EDIT: generated from i386/amd64-avx512-linux.xml
+# THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi :set ro:
+# Generated from: i386/amd64-avx512-linux.xml
name:amd64_avx512_linux
xmltarget:amd64-avx512-linux.xml
expedite:rbp,rsp,rip