/Documentation/devicetree/bindings/x86/
../
ce4100.txt
timer.txt