We need to call smp_write_lintsrc() instead of smp_write_intsrc() for
[coreboot.git] / src / mainboard / gigabyte / ga_2761gxdk /
drwxr-xr-x   ..
-rw-r--r-- 1352 Kconfig
-rw-r--r-- 2999 ap_romstage.c
-rw-r--r-- 961 chip.h
-rw-r--r-- 4043 cmos.layout
-rw-r--r-- 4363 devicetree.cb
-rw-r--r-- 4476 get_bus_conf.c
-rw-r--r-- 5709 irq_tables.c
-rw-r--r-- 1131 mainboard.c
-rw-r--r-- 4116 mptable.c
-rw-r--r-- 9170 resourcemap.c
-rw-r--r-- 8149 romstage.c