We need to call smp_write_lintsrc() instead of smp_write_intsrc() for
[coreboot.git] / src / mainboard / tyan / s2881 /
drwxr-xr-x   ..
-rw-r--r-- 989 Kconfig
-rw-r--r-- 53 Makefile.inc
-rw-r--r-- 74 chip.h
-rw-r--r-- 3191 cmos.layout
-rw-r--r-- 4153 devicetree.cb
-rw-r--r-- 3632 get_bus_conf.c
-rw-r--r-- 3024 irq_tables.c
-rw-r--r-- 1029 mainboard.c
-rw-r--r-- 4397 mptable.c
-rw-r--r-- 8082 resourcemap.c
-rw-r--r-- 4116 romstage.c