1 #objdump: -dw 2 #name: 64-bit INVLPGB insn 3 #source: invlpgb.s 4 5 .*: +file format .* 6 7 Disassembly of section \.text: 8 9 0+000 <_start>: 10 [ ]*[a-f0-9]+:[ ]+0f 01 fe[ ]+invlpgb[ ]* 11 [0-9a-f]+ <att64>: 12 [ ]*[a-f0-9]+:[ ]+0f 01 fe[ ]+invlpgb[ ]* 13 [0-9a-f]+ <att32>: 14 [ ]*[a-f0-9]+:[ ]+67 0f 01 fe[ ]+addr32 invlpgb[ ]* 15 [0-9a-f]+ <intel64>: 16 [ ]*[a-f0-9]+:[ ]+0f 01 fe[ ]+invlpgb[ ]* 17 [0-9a-f]+ <intel32>: 18 [ ]*[a-f0-9]+:[ ]+67 0f 01 fe[ ]+addr32 invlpgb[ ]* 19 #pass 20