1 #objdump: -dw 2 #name: 64-bit SNP insn 3 #source: snp.s 4 5 .*: +file format .* 6 7 8 Disassembly of section \.text: 9 10 0+ <att>: 11 [ ]*[a-f0-9]+:[ ]+f2 0f 01 ff[ ]+pvalidate[ ]* 12 [ ]*[a-f0-9]+:[ ]+67 f2 0f 01 ff[ ]+addr32 pvalidate[ ]* 13 [ ]*[a-f0-9]+:[ ]+f2 0f 01 ff[ ]+pvalidate[ ]* 14 [ ]*[a-f0-9]+:[ ]+f3 0f 01 ff[ ]+psmash[ ]* 15 [ ]*[a-f0-9]+:[ ]+f3 0f 01 ff[ ]+psmash[ ]* 16 [ ]*[a-f0-9]+:[ ]+67 f3 0f 01 ff[ ]+addr32 psmash[ ]* 17 [ ]*[a-f0-9]+:[ ]+f2 0f 01 fe[ ]+rmpupdate[ ]* 18 [ ]*[a-f0-9]+:[ ]+f2 0f 01 fe[ ]+rmpupdate[ ]* 19 [ ]*[a-f0-9]+:[ ]+67 f2 0f 01 fe[ ]+addr32 rmpupdate[ ]* 20 [ ]*[a-f0-9]+:[ ]+f3 0f 01 fe[ ]+rmpadjust[ ]* 21 [ ]*[a-f0-9]+:[ ]+f3 0f 01 fe[ ]+rmpadjust[ ]* 22 [ ]*[a-f0-9]+:[ ]+67 f3 0f 01 fe[ ]+addr32 rmpadjust[ ]* 23 24 [0-9a-f]+ <intel>: 25 [ ]*[a-f0-9]+:[ ]+f2 0f 01 ff[ ]+pvalidate[ ]* 26 [ ]*[a-f0-9]+:[ ]+67 f2 0f 01 ff[ ]+addr32 pvalidate[ ]* 27 [ ]*[a-f0-9]+:[ ]+f2 0f 01 ff[ ]+pvalidate[ ]* 28 [ ]*[a-f0-9]+:[ ]+f3 0f 01 ff[ ]+psmash[ ]* 29 [ ]*[a-f0-9]+:[ ]+f3 0f 01 ff[ ]+psmash[ ]* 30 [ ]*[a-f0-9]+:[ ]+67 f3 0f 01 ff[ ]+addr32 psmash[ ]* 31 [ ]*[a-f0-9]+:[ ]+f2 0f 01 fe[ ]+rmpupdate[ ]* 32 [ ]*[a-f0-9]+:[ ]+f2 0f 01 fe[ ]+rmpupdate[ ]* 33 [ ]*[a-f0-9]+:[ ]+67 f2 0f 01 fe[ ]+addr32 rmpupdate[ ]* 34 [ ]*[a-f0-9]+:[ ]+f3 0f 01 fe[ ]+rmpadjust[ ]* 35 [ ]*[a-f0-9]+:[ ]+f3 0f 01 fe[ ]+rmpadjust[ ]* 36 [ ]*[a-f0-9]+:[ ]+67 f3 0f 01 fe[ ]+addr32 rmpadjust[ ]* 37 #pass 38