Searched refs:guest_rbp (Results 1 – 3 of 3) sorted by relevance
36 guest_rbp VMXCTX_GUEST_RBP
57 uint64_t guest_rbp; member
1581 return (vmxctx->guest_rbp); in vmx_get_guest_reg()1631 vmxctx->guest_rbp = regval; in vmx_set_guest_reg()3058 return (&vmxctx->guest_rbp); in vmxctx_regptr()