HelenOS sources

cpuid_read         47 kernel/arch/ia64/src/cpu/cpu.c 	CPU->arch.cpuid0 = cpuid_read(0);
cpuid_read         48 kernel/arch/ia64/src/cpu/cpu.c 	CPU->arch.cpuid1 = cpuid_read(1);
cpuid_read         49 kernel/arch/ia64/src/cpu/cpu.c 	CPU->arch.cpuid3.value = cpuid_read(3);