Searched refs:cpu_has_vmx_invvpid_single (Results 1 – 3 of 3) sorted by relevance
274 if (cpu_has_vmx_invvpid_single()) in vpid_sync_vcpu_single()286 if (cpu_has_vmx_invvpid_single()) in vpid_sync_context()
330 static inline bool cpu_has_vmx_invvpid_single(void) in cpu_has_vmx_invvpid_single() function
7605 !(cpu_has_vmx_invvpid_single() || cpu_has_vmx_invvpid_global())) in hardware_setup()
