HZ is in linux/param.h