1 #as: --defsym __amd64__=1 2 #objdump: -dw 3 #name: 64-bit SVME 4 #source: svme.s 5 6 .*: +file format .* 7 8 Disassembly of section .text: 9 10 0+000 <common>: 11 [ ]*[0-9a-f]+:[ ]+0f 01 dd[ ]+clgi[ ]* 12 [ ]*[0-9a-f]+:[ ]+0f 01 df[ ]+invlpga[ ]* 13 [ ]*[0-9a-f]+:[ ]+0f 01 de[ ]+skinit[ ]* 14 [ ]*[0-9a-f]+:[ ]+0f 01 dc[ ]+stgi[ ]* 15 [ ]*[0-9a-f]+:[ ]+0f 01 da[ ]+vmload[ ]* 16 [ ]*[0-9a-f]+:[ ]+0f 01 d9[ ]+vmmcall[ ]* 17 [ ]*[0-9a-f]+:[ ]+0f 01 d8[ ]+vmrun[ ]* 18 [ ]*[0-9a-f]+:[ ]+0f 01 db[ ]+vmsave[ ]* 19 [0-9a-f]+ <att64>: 20 [ ]*[0-9a-f]+:[ ]+0f 01 df[ ]+invlpga[ ]* 21 [ ]*[0-9a-f]+:[ ]+0f 01 da[ ]+vmload[ ]* 22 [ ]*[0-9a-f]+:[ ]+0f 01 d8[ ]+vmrun[ ]* 23 [ ]*[0-9a-f]+:[ ]+0f 01 db[ ]+vmsave[ ]* 24 [0-9a-f]+ <att32>: 25 [ ]*[0-9a-f]+:[ ]+0f 01 de[ ]+skinit[ ]* 26 [ ]*[0-9a-f]+:[ ]+67 0f 01 df[ ]+addr32 invlpga[ ] 27 [ ]*[0-9a-f]+:[ ]+67 0f 01 da[ ]+addr32 vmload[ ] 28 [ ]*[0-9a-f]+:[ ]+67 0f 01 d8[ ]+addr32 vmrun[ ] 29 [ ]*[0-9a-f]+:[ ]+67 0f 01 db[ ]+addr32 vmsave[ ] 30 [0-9a-f]+ <intel64>: 31 [ ]*[0-9a-f]+:[ ]+0f 01 df[ ]+invlpga[ ]* 32 [ ]*[0-9a-f]+:[ ]+0f 01 da[ ]+vmload[ ]* 33 [ ]*[0-9a-f]+:[ ]+0f 01 d8[ ]+vmrun[ ]* 34 [ ]*[0-9a-f]+:[ ]+0f 01 db[ ]+vmsave[ ]* 35 [0-9a-f]+ <intel32>: 36 [ ]*[0-9a-f]+:[ ]+0f 01 de[ ]+skinit[ ]* 37 [ ]*[0-9a-f]+:[ ]+67 0f 01 df[ ]+addr32 invlpga[ ] 38 [ ]*[0-9a-f]+:[ ]+67 0f 01 da[ ]+addr32 vmload[ ] 39 [ ]*[0-9a-f]+:[ ]+67 0f 01 d8[ ]+addr32 vmrun[ ] 40 [ ]*[0-9a-f]+:[ ]+67 0f 01 db[ ]+addr32 vmsave[ ] 41 #pass 42