ARM64: DTS: Add rk3399-firefly uart4 device, node as /dev/ttyS1
[firefly-linux-kernel-4.4.55.git] / include / kvm /
drwxr-xr-x   ..
-rw-r--r-- 2245 arm_arch_timer.h
-rw-r--r-- 10390 arm_vgic.h
-rw-r--r-- 2082 iodev.h