1 #objdump: -dwMintel
2 #name: i386 RDPID (Intel disassembly)
3 #source: rdpid.s
4 
5 .*: +file format .*
6 
7 Disassembly of section .text:
8 
9 0+ <_start>:
10 [ 	]*[a-f0-9]+:[ 	]*f3 0f c7 f8[ 	]*rdpid  eax
11 [ 	]*[a-f0-9]+:[ 	]*f3 0f c7 f9[ 	]*rdpid  ecx
12 #pass
13