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

/linux/arch/x86/kvm/vmx/
A D	evmcs.h	96 static __always_inline void evmcs_write64(unsigned long field, u64 value) in evmcs_write64() function 186 static __always_inline void evmcs_write64(unsigned long field, u64 value) {} in evmcs_write64() function

Completed in 3 milliseconds

Last Index update Fri Sep 05 17:56:23 CST 2025