x86_cache_max_rmid  103 arch/x86/include/asm/processor.h 	int			x86_cache_max_rmid;	/* max index */
x86_cache_max_rmid  878 arch/x86/kernel/cpu/common.c 		c->x86_cache_max_rmid  = -1;
x86_cache_max_rmid  884 arch/x86/kernel/cpu/common.c 	c->x86_cache_max_rmid = cpuid_ebx(0xf);
x86_cache_max_rmid  894 arch/x86/kernel/cpu/common.c 		c->x86_cache_max_rmid  = ecx;
x86_cache_max_rmid 1437 arch/x86/kernel/cpu/common.c 		boot_cpu_data.x86_cache_max_rmid =
x86_cache_max_rmid 1438 arch/x86/kernel/cpu/common.c 			min(boot_cpu_data.x86_cache_max_rmid,
x86_cache_max_rmid 1439 arch/x86/kernel/cpu/common.c 			    c->x86_cache_max_rmid);
x86_cache_max_rmid  621 arch/x86/kernel/cpu/resctrl/monitor.c 	r->num_rmid = boot_cpu_data.x86_cache_max_rmid + 1;