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