1# Check 64bit RDPID instructions.
2
3	.text
4_start:
5	rdpid %rax
6	rdpid %r10
7