Re: [PATCH 1/3] timer: Allocate per-cpu tvec_base's statically