#as:
#objdump: -dw
#name: x86_64 PTWRITE insns
#source: x86-64-ptwrite.s

.*: +file format .*


Disassembly of section \.text:

0+ <_start>:
 +[a-f0-9]+:	f3 0f ae e1          	ptwrite %ecx
 +[a-f0-9]+:	f3 0f ae e1          	ptwrite %ecx
 +[a-f0-9]+:	f3 48 0f ae e1       	ptwrite %rcx
 +[a-f0-9]+:	f3 48 0f ae e1       	ptwrite %rcx
 +[a-f0-9]+:	f3 0f ae 21          	ptwritel \(%rcx\)
 +[a-f0-9]+:	f3 48 0f ae 21       	ptwriteq \(%rcx\)
 +[a-f0-9]+:	f3 0f ae e1          	ptwrite %ecx
 +[a-f0-9]+:	f3 48 0f ae e1       	ptwrite %rcx
 +[a-f0-9]+:	f3 0f ae 21          	ptwritel \(%rcx\)
 +[a-f0-9]+:	f3 48 0f ae 21       	ptwriteq \(%rcx\)
#pass