1 #objdump: -dwMintel
2 #name: x86_64 RDPID (Intel disassembly)
3 #source: x86-64-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  rax
11 [ 	]*[a-f0-9]+:[ 	]*f3 41 0f c7 fa[ 	]*rdpid  r10
12 #pass
13