clocksource: exynos_mct: Only use 32-bits where possible
[cascardo/linux.git] / virt /
drwxr-xr-x   ..
drwxr-xr-x - kvm