1 #source: ospke.s
2 #name: x86-64 OSPKE insns
3 #objdump: -dw
4 
5 .*: +file format .*
6 
7 
8 Disassembly of section .text:
9 
10 0+ <_start>:
11 [ 	]*[a-f0-9]+:	0f 01 ee             	rdpkru
12 [ 	]*[a-f0-9]+:	0f 01 ef             	wrpkru
13 #pass
14