[RFC PATCH] arm64: make Timer Interrupt Frequency selectable

[Catalin Marinas]

On Mon, Oct 26, 2015 at 11:48:16AM +0800, Kefeng Wang wrote:
> It allows a selectable timer interrupt frequency of 100, 250, 300 and 1000 HZ.
> We will get better performance when choose a suitable frequency in some scene.
> 
> Cc: Catalin Marinas <catalin.marinas at arm.com>
> Cc: Will Deacon <will.deacon at arm.com>
> Signed-off-by: Kefeng Wang <wangkefeng.wang at huawei.com>

Queued for 4.4. Thanks.

-- 
Catalin