cr64_read 81 kernel/arch/ia64/include/arch/cpu.h uint64_t cr64 = cr64_read(); cr64_read 87 kernel/arch/ia64/include/arch/cpu.h uint64_t cr64 = cr64_read();