ACPI / processor: Use ACPI_PROCESSOR_DEVICE_HID instead of "ACPI0007"
[cascardo/linux.git] / arch / arm64 /
drwxr-xr-x   ..
-rw-r--r-- 6795 Kconfig
-rw-r--r-- 758 Kconfig.debug
-rw-r--r-- 2373 Makefile
drwxr-xr-x - boot
drwxr-xr-x - configs
drwxr-xr-x - include
drwxr-xr-x - kernel
drwxr-xr-x - kvm
drwxr-xr-x - lib
drwxr-xr-x - mm
drwxr-xr-x - xen