Searched defs:svm_regctx (Results 1 – 1 of 1) sorted by relevance
40 struct svm_regctx { struct41 register_t sctx_rbp;42 register_t sctx_rbx;43 register_t sctx_rcx;44 register_t sctx_rdx;45 register_t sctx_rdi;69 void svm_launch(uint64_t pa, struct svm_regctx *gctx, struct pcpu *pcpu); argument