Searched refs:allow_idc (Results 1 – 1 of 1) sorted by relevance
67 static int allow_idc = 1; variable68 SYSCTL_INT(_machdep_cache, OID_AUTO, allow_idc, CTLFLAG_RDTUN, &allow_idc, 0,1199 idc = (allow_idc != 0); in identify_cpu_sysinit()