Home
last modified time | relevance | path

Searched refs:vcpu_set_cr4 (Results 1 – 4 of 4) sorted by relevance

/hypervisor/include/arch/x86/asm/guest/
A Dvirtual_cr.h86 void vcpu_set_cr4(struct acrn_vcpu *vcpu, uint64_t val);
/hypervisor/arch/x86/guest/
A Dvirtual_cr.c559 void vcpu_set_cr4(struct acrn_vcpu *vcpu, uint64_t val) in vcpu_set_cr4() function
586 vcpu_set_cr4(vcpu, reg); in cr_access_vmexit_handler()
A Dvmcs.c31 vcpu_set_cr4(vcpu, cr4); in init_guest_vmx()
A Dvcpu.c686 vcpu_set_cr4(vcpu, ctx->cr4); in write_cached_registers()

Completed in 12 milliseconds