#as:
#objdump: -dw -Mintel
#name: x86_64 PTWRITE insns (Intel disassembly)
#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          	ptwrite DWORD PTR \[rcx\]
 +[a-f0-9]+:	f3 0f ae 21          	ptwrite DWORD PTR \[rcx\]
 +[a-f0-9]+:	f3 48 0f ae 21       	ptwrite QWORD PTR \[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          	ptwrite DWORD PTR \[rcx\]
 +[a-f0-9]+:	f3 48 0f ae 21       	ptwrite QWORD PTR \[rcx\]
#pass
