Searched refs:VMCS_GUEST_RSP (Results 1 – 3 of 3) sorted by relevance
71 return (VMCS_GUEST_RSP); in vmcs_field_encoding()
234 #define VMCS_GUEST_RSP 0x0000681C macro
1572 return (vmcs_read(VMCS_GUEST_RSP)); in vmx_get_guest_reg()1621 vmcs_write(VMCS_GUEST_RSP, regval); in vmx_set_guest_reg()