Duncan Laurie 5952fe4672 broadwell: Fix TCO register size and event reporting ... TCO registers are 16bit not 32bit. Also do not log the TCO reset event in S3 resume path to avoid it being logged when TCO is not actually tripping. BUG=chrome-os-partner:28234 BRANCH=None TEST=manual: 1) build and boot on samus 2) modify kernel command line with nmi_watchdog=0 3) while sleep 1 ; do echo -n V ; done > /dev/watchdog & 4) fg 1 5) ctrl-Z 6) wait for reboot 7) check event log for TCO event 8) check suspend/resume path to ensure no TCO event logged Change-Id: I9cd8627de8498b280deb088f3a8e1e20546e2f96 Signed-off-by: Duncan Laurie <dlaurie@chromium.org> Reviewed-on: https://chromium-review.googlesource.com/211840 Reviewed-by: Aaron Durbin <adurbin@chromium.org>		2014-08-11 22:01:43 +00:00
..
intel	broadwell: Fix TCO register size and event reporting	2014-08-11 22:01:43 +00:00
nvidia	tegra132: never recover cbmem from romstage	2014-08-08 22:03:33 +00:00
qualcomm	ipq806x: implement GPIO API	2014-07-30 23:40:58 +00:00
rockchip	coreboot: rk3288: Add a stub implementation of the rk3288 SOC	2014-07-23 06:46:35 +00:00
samsung	coreboot classes: Add dynamic classes to coreboot	2014-07-28 19:19:34 +00:00
Kconfig	coreboot: rk3288: Add a stub implementation of the rk3288 SOC	2014-07-23 06:46:35 +00:00
Makefile.inc	coreboot: rk3288: Add a stub implementation of the rk3288 SOC	2014-07-23 06:46:35 +00:00