Searched refs:VMCS_GUEST_RSP (Results 1 – 3 of 3) sorted by relevance
269 #define VMCS_GUEST_RSP 0x0000681C macro
89 return (VMCS_GUEST_RSP); in vmcs_field_encoding()
1790 return (vmcs_read(VMCS_GUEST_RSP)); in vmx_get_guest_reg()1839 vmcs_write(VMCS_GUEST_RSP, regval); in vmx_set_guest_reg()