We need to call smp_write_lintsrc() instead of smp_write_intsrc() for
[coreboot.git] / src / mainboard / gigabyte / m57sli /
drwxr-xr-x   ..
-rw-r--r-- 1475 Kconfig
-rw-r--r-- 833 Makefile.inc
-rw-r--r-- 5777 acpi_tables.c
-rw-r--r-- 2886 ap_romstage.c
-rw-r--r-- 927 chip.h
-rw-r--r-- 4043 cmos.layout
-rw-r--r-- 5024 devicetree.cb
-rw-r--r-- 9205 dsdt.asl
-rw-r--r-- 2079 fanctl.c
-rw-r--r-- 4342 get_bus_conf.c
-rw-r--r-- 1882 hda_verb.h
-rw-r--r-- 3578 irq_tables.c
-rw-r--r-- 1335 mainboard.c
-rw-r--r-- 4343 mptable.c
-rw-r--r-- 9170 resourcemap.c
-rw-r--r-- 8555 romstage.c