#objdump: -dw
#name: x86-64 SE1 insns
#source: x86-64-se1.s

.*: +file format .*


Disassembly of section .text:

0+ <_start>:
[ 	]*[a-f0-9]+:	0f 01 cf             	encls  
[ 	]*[a-f0-9]+:	0f 01 d7             	enclu  
#pass
