x86_64: prepare shared kernel/smpboot.c
[wandboard.git] / drivers / firmware / 
treec99b836fa797edc2bb93ae239ebef0579af28a0f
drwxr-xr-x   ..
-rw-r--r-- 3547 Kconfig
-rw-r--r-- 282 Makefile
-rw-r--r-- 16054 dcdbas.c
-rw-r--r-- 2796 dcdbas.h
-rw-r--r-- 19879 dell_rbu.c
-rw-r--r-- 6107 dmi-id.c
-rw-r--r-- 10854 dmi_scan.c
-rw-r--r-- 20249 edd.c
-rw-r--r-- 20199 efivars.c
-rw-r--r-- 3363 pcdp.c
-rw-r--r-- 2759 pcdp.h