Searched refs:guest_rsi (Results 1 – 3 of 3) sorted by relevance
29 guest_rsi VMXCTX_GUEST_RSI
50 uint64_t guest_rsi; member
1583 return (vmxctx->guest_rsi); in vmx_get_guest_reg()1634 vmxctx->guest_rsi = regval; in vmx_set_guest_reg()3054 return (&vmxctx->guest_rsi); in vmxctx_regptr()