We need to call smp_write_lintsrc() instead of smp_write_intsrc() for
[coreboot.git] / src / mainboard / msi / ms7260 /
drwxr-xr-x   ..
-rw-r--r-- 1392 Kconfig
-rw-r--r-- 2720 ap_romstage.c
-rw-r--r-- 902 chip.h
-rw-r--r-- 4065 cmos.layout
-rw-r--r-- 5613 devicetree.cb
-rw-r--r-- 3871 get_bus_conf.c
-rw-r--r-- 1882 hda_verb.h
-rw-r--r-- 3142 irq_tables.c
-rw-r--r-- 1210 mainboard.c
-rw-r--r-- 4745 mptable.c
-rw-r--r-- 9230 resourcemap.c
-rw-r--r-- 7736 romstage.c