Symbol: VCPU_STALL_DEFAULT_TIMEOUT_SEC
drivers/misc/vcpu_stall_detector.c
145
u32 stall_timeout_sec = VCPU_STALL_DEFAULT_TIMEOUT_SEC;
drivers/misc/vcpu_stall_detector.c
171
stall_timeout_sec = VCPU_STALL_DEFAULT_TIMEOUT_SEC;