Add and use a generic version of devmem_is_allowed()
[platform/kernel/linux-rpi.git] / arch / arc / plat-hsdk /
drwxr-xr-x   ..
-rw-r--r-- 311 Kconfig
-rw-r--r-- 120 Makefile
-rw-r--r-- 11225 platform.c