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