Home
last modified time | relevance | path

Searched refs:vmcs (Results 1 – 5 of 5) sorted by relevance

/hypervisor/arch/x86/guest/
A Dvmcs.c568 (void)memcpy_s(vcpu->arch.vmcs, 4U, (void *)&vmx_rev_id, 4U); in init_vmcs()
571 clear_va_vmcs(vcpu->arch.vmcs); in init_vmcs()
574 load_va_vmcs(vcpu->arch.vmcs); in init_vmcs()
575 *vmcs_ptr = (void *)vcpu->arch.vmcs; in init_vmcs()
593 if (vcpu->launched && (*vmcs_ptr != (void *)vcpu->arch.vmcs)) { in load_vmcs()
594 load_va_vmcs(vcpu->arch.vmcs); in load_vmcs()
595 *vmcs_ptr = (void *)vcpu->arch.vmcs; in load_vmcs()
A Dnested.c1210 load_va_vmcs(vcpu->arch.vmcs); in vmptrld_vmexit_handler()
1255 load_va_vmcs(vcpu->arch.vmcs); in vmclear_vmexit_handler()
1444 load_va_vmcs(vcpu->arch.vmcs); in nested_vmexit_handler()
A Dvcpu.c252 (void)memset((void *)vcpu->arch.vmcs, 0U, PAGE_SIZE); in vcpu_reset_internal()
822 if ((get_pcpu_id() != pcpu_id) && (per_cpu(vmcs_run, pcpu_id) == vcpu->arch.vmcs)) { in kick_vcpu()
/hypervisor/include/arch/x86/asm/guest/
A Dvcpu.h235 uint8_t vmcs[PAGE_SIZE]; member
/hypervisor/
A DMakefile278 VP_BASE_C_SRCS += arch/x86/guest/vmcs.c

Completed in 30 milliseconds