2 * Function resume_vm_vmx, arguments:
3 * - rdi: Pointer to registers (layout specific...)
9 // save callee saved regs
17 push %rdi // store pointer to register struct
18 mov $0x6c14, %eax // save rsp in vmcs
22 // load guest GP registers
47 add $8, %rsp // pushed regs pointer
58 mov 8(%rsp), %rsi // get previously saved register struct pointer
77 add $8, %rsp // adjust stack after regs pointer push on stack
79 // restore callee saved registers