Searched refs:VMCS_GUEST_RSP (Results 1 – 3 of 3) sorted by relevance
256 #define VMCS_GUEST_RSP 0x0000681C macro
83 return (VMCS_GUEST_RSP); in vmcs_field_encoding()
1503 return (vmcs_read(VMCS_GUEST_RSP)); in vmx_get_guest_reg()1552 vmcs_write(VMCS_GUEST_RSP, regval); in vmx_set_guest_reg()