Searched refs:VMCS_GUEST_RSP (Results 1 – 3 of 3) sorted by relevance
271 #define VMCS_GUEST_RSP 0x0000681C macro
94 return (VMCS_GUEST_RSP); in vmcs_field_encoding()
1737 return (vmcs_read(VMCS_GUEST_RSP)); in vmx_get_guest_reg()1786 vmcs_write(VMCS_GUEST_RSP, regval); in vmx_set_guest_reg()