.text common: clgi invlpga skinit stgi vmload vmmcall vmrun vmsave .macro do_args arg1, arg2 invlpga \arg1, \arg2 vmload \arg1 vmrun \arg1 vmsave \arg1 .endm .ifdef __amd64__ att64: do_args (%rax), %ecx .endif att32: skinit (%eax) do_args (%eax), %ecx .intel_syntax noprefix .ifdef __amd64__ intel64: do_args [rax], ecx .endif intel32: skinit [eax] do_args [eax], ecx .p2align 4,0