cpuarray_get      867 kern/thread/thread.c 		c = cpuarray_get(&allcpus, i);
cpuarray_get      891 kern/thread/thread.c 		c = cpuarray_get(&allcpus, i);
cpuarray_get     1136 kern/thread/thread.c 		c = cpuarray_get(&allcpus, i);