Symbol: GENWQE_HEALTH_CHECK_INTERVAL
drivers/misc/genwqe/card_base.c
1052
if (GENWQE_HEALTH_CHECK_INTERVAL <= 0)
drivers/misc/genwqe/card_base.c
942
GENWQE_HEALTH_CHECK_INTERVAL * HZ);