Searched refs:vmcs_read (Results 1 – 3 of 3) sorted by relevance
1256 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_events()1579 return (vmcs_read(VMCS_GUEST_RSP)); in vmx_get_guest_reg()1678 ctrl = vmcs_read(VMCS_ENTRY_CTLS); in vmx_sync_efer_state()1716 efer = vmcs_read(VMCS_GUEST_IA32_EFER); in vmx_emulate_cr0_access()3119 vmcs_read(VMCS_CR0_SHADOW)); in vmx_getreg()3124 vmcs_read(VMCS_CR4_SHADOW)); in vmx_getreg()3130 *retval = vmcs_read(encoding); in vmx_getreg()3235 desc->base = vmcs_read(base); in vmx_getdesc()3236 desc->limit = vmcs_read(limit); in vmx_getdesc()3238 desc->access = vmcs_read(access); in vmx_getdesc()[all …]
264 vmcs_read(uint32_t encoding) in vmcs_read() function
56 uint64_t vmcs_read(uint32_t encoding);