Searched refs:no_flush_rsb (Results 1 – 1 of 1) sorted by relevance
60 static int no_flush_rsb; variable61 SYSCTL_INT(_hw_vmm_vmx, OID_AUTO, no_flush_rsb, CTLFLAG_RW,62 &no_flush_rsb, 0, "Do not flush RSB upon vmexit");417 if (no_flush_rsb) { in vmcs_init()