d07048a7f9
Use already defined system_reset() function. Change-Id: I68ff4cffa2bfab6a15299795c3e1837fc9b85806 Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr> Reviewed-on: https://review.coreboot.org/c/coreboot/+/32379 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Nico Huber <nico.h@gmx.de> |
||
---|---|---|
.. | ||
acpi | ||
acpi_tables.c | ||
board_info.txt | ||
cmos.default | ||
cmos.layout | ||
devicetree.cb | ||
dsdt.asl | ||
gpio.c | ||
hda_verb.c | ||
Kconfig | ||
Kconfig.name | ||
mainboard.c | ||
Makefile.inc | ||
mptable.c | ||
romstage.c | ||
smihandler.c |