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