Searched refs:guest_r13 (Results 1 – 3 of 3) sorted by relevance
40 guest_r13 VMXCTX_GUEST_R13
61 uint64_t guest_r13; member
1597 return (vmxctx->guest_r13); in vmx_get_guest_reg()1655 vmxctx->guest_r13 = regval; in vmx_set_guest_reg()3070 return (&vmxctx->guest_r13); in vmxctx_regptr()