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