Lines Matching defs:reg
67 uint32_t reg[4];
119 reg[eax] = 4; /* cpuid request 4 */
120 reg[ecx] = index; /* index starting at 0 */
121 cpuid(reg);
122 //kprintf("cpuid(4) index=%d eax=%p\n", index, reg[eax]);
123 cache_type = bitfield(reg[eax], 4, 0);
126 cache_level = bitfield(reg[eax], 7, 5);
127 cache_sharing = bitfield(reg[eax], 25, 14) + 1;
129 = bitfield(reg[eax], 31, 26) + 1;
130 cache_linesize = bitfield(reg[ebx], 11, 0) + 1;
131 cache_partitions = bitfield(reg[ebx], 21, 12) + 1;
132 cache_associativity = bitfield(reg[ebx], 31, 22) + 1;
133 cache_sets = bitfield(reg[ecx], 31, 0) + 1;