原文:Topic: How To determine Linux Kernel Timer Interrupt Frequency