Home
last modified time | relevance | path

Searched refs:set_vmcs_bit (Results 1 – 2 of 2) sorted by relevance

/hypervisor/include/arch/x86/asm/guest/
A Dvmcs.h53 static inline void set_vmcs_bit(uint32_t vmcs_field, uint64_t bit) in set_vmcs_bit() function
/hypervisor/arch/x86/guest/
A Dvcpu.c108 set_vmcs_bit(VMX_ENTRY_CONTROLS, VMX_ENTRY_CTLS_LOAD_EFER); in vcpu_set_efer()
109 set_vmcs_bit(VMX_EXIT_CONTROLS, VMX_EXIT_CTLS_LOAD_EFER); in vcpu_set_efer()

Completed in 6 milliseconds