Searched refs:sctx_rbx (Results 1 – 3 of 3) sorted by relevance
37 uint64_t sctx_rbx; member
23 sctx_rbx SCTX_RBX
1499 &ctx->sctx_rbx, &ctx->sctx_rcx, &ctx->sctx_rdx); in svm_vmexit()2071 return (®ctx->sctx_rbx); in swctx_regptr()