linux/Documentation/devicetree/bindings/timer/ezchip,nps400-timer.txt