1 #objdump: -dw
2 #name: 64-bit INVLPGB insn
3 #source: invlpgb.s
4 
5 .*: +file format .*
6 
7 Disassembly of section \.text:
8 
9 0+000 <_start>:
10 [ 	]*[a-f0-9]+:[ 	]+0f 01 fe[ 	]+invlpgb[ 	]*
11 [0-9a-f]+ <att64>:
12 [ 	]*[a-f0-9]+:[ 	]+0f 01 fe[ 	]+invlpgb[ 	]*
13 [0-9a-f]+ <att32>:
14 [ 	]*[a-f0-9]+:[ 	]+67 0f 01 fe[ 	]+addr32 invlpgb[ 	]*
15 [0-9a-f]+ <intel64>:
16 [ 	]*[a-f0-9]+:[ 	]+0f 01 fe[ 	]+invlpgb[ 	]*
17 [0-9a-f]+ <intel32>:
18 [ 	]*[a-f0-9]+:[ 	]+67 0f 01 fe[ 	]+addr32 invlpgb[ 	]*
19 #pass
20