1 #objdump: -dw
2 #name: i386 arch 14
3 
4 .*:     file format .*
5 
6 Disassembly of section .text:
7 
8 0+ <.text>:
9 [ 	]*[0-9a-f]+:[ 	]+0f 01 fe[ 	]+invlpgb[ 	]*
10 [ 	]*[0-9a-f]+:[ 	]+0f 01 ff[ 	]+tlbsync[ 	]*
11 [ 	]*[a-f0-9]+:[ 	]*f2 0f 01 ff[ 	]+pvalidate[ 	]*
12 [ 	]*[a-f0-9]+:[ 	]*0f 01 ee[ 	]+rdpkru[ 	]*
13 [ 	]*[a-f0-9]+:[ 	]*0f 01 ef[ 	]+wrpkru[ 	]*
14 #pass
15