clocksource: exynos_mct: Only use 32-bits where possible
[cascardo/linux.git] / Documentation / platform /
drwxr-xr-x   ..
-rw-r--r-- 358 x86-laptop-drivers.txt