Searched refs:SVMSTK_RDI (Results 1 – 1 of 1) sorted by relevance
61 #define SVMSTK_RDI 0x38 /* save-args %rdi (uint64_t vmcb_pa) */ macro82 movq %rdi, SVMSTK_RDI(%rsp)