Searched refs:nmi_flush_l1d_sw (Results 1 – 4 of 4) sorted by relevance
44 extern int nmi_flush_l1d_sw;
170 int nmi_flush_l1d_sw; variable171 SYSCTL_INT(_machdep, OID_AUTO, nmi_flush_l1d_sw, CTLFLAG_RWTUN,172 &nmi_flush_l1d_sw, 0,
962 cmpb $0, nmi_flush_l1d_sw(%rip)
624 if (nmi_flush_l1d_sw == 1) in vmx_modcleanup()625 nmi_flush_l1d_sw = 0; in vmx_modcleanup()917 if (nmi_flush_l1d_sw <= 1) in vmx_modinit()918 nmi_flush_l1d_sw = 1; in vmx_modinit()