Home
last modified time | relevance | path

Searched defs:vmcs_write64 (Results 1 – 2 of 2) sorted by relevance

/kernel/linux/linux-6.6/arch/x86/kvm/vmx/
Dvmx_ops.h246 static __always_inline void vmcs_write64(unsigned long field, u64 value) in vmcs_write64() function
/kernel/linux/linux-5.10/arch/x86/kvm/vmx/
Dvmx_ops.h197 static __always_inline void vmcs_write64(unsigned long field, u64 value) in vmcs_write64() function