taglinefilesource code
intr_freq219arch/alpha/kernel/setup.chwrpb->intr_freq / 4096,
intr_freq220arch/alpha/kernel/setup.c(100 * hwrpb->intr_freq / 4096) % 100,
intr_freq134include/asm-alpha/hwrpb.hunsigned long intr_freq;  /* interval clock frequency * 4096 */