# Check OSPKE instructions.

	.text
_start:
	rdpkru
	wrpkru