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