Symbol: VCPU_STALL_DEFAULT_CLOCK_HZ
drivers/misc/vcpu_stall_detector.c
144
u32 clock_freq_hz = VCPU_STALL_DEFAULT_CLOCK_HZ;
drivers/misc/vcpu_stall_detector.c
163
clock_freq_hz = VCPU_STALL_DEFAULT_CLOCK_HZ;