CTLREG_CPUS       133 kern/dev/lamebus/lamebus.c 	cpumask = read_ctl_register(lamebus, CTLREG_CPUS);
CTLREG_CPUS       192 kern/dev/lamebus/lamebus.c 	cpumask = read_ctl_register(lamebus, CTLREG_CPUS);