Re: [PATCH v3 24/33] nds32: Device tree support

[Mark Rutland]

On Fri, Dec 08, 2017 at 05:12:07PM +0800, Greentime Hu wrote:
> +	timer0: timer@f0400000 {
> +		compatible = "andestech,atcpit100";
> +		reg = <0xf0400000 0x1000>;
> +		interrupts = <2>;
> +		clocks = <&clk_pll>;
> +		clock-names = "apb_pclk";
> +		cycle-count-offset = <0x38>;
> +		cycle-count-down;
> +	};

The cover leter mentioned the atcpit100 driver had been removed, but the
node is still here, and the vdso code seems to look for this node.

This binding needs documentation.

Thanks,
Mark.