1#objdump: -dw
2#name: x86-64 SE1 insns
3#source: x86-64-se1.s
4
5.*: +file format .*
6
7
8Disassembly of section .text:
9
100+ <_start>:
11[ 	]*[a-f0-9]+:	0f 01 cf             	encls
12[ 	]*[a-f0-9]+:	0f 01 d7             	enclu
13[ 	]*[a-f0-9]+:	0f 01 c0             	enclv
14#pass
15