ubuntu-linux-kernel/include/config/hz/fixed.h