coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
reset.c File Reference
#include <bl_uapp/bl_syscall_public.h>
#include <console/console.h>
#include <reset.h>
Include dependency graph for reset.c:

Go to the source code of this file.

Functions

void do_board_reset (void)
 

Function Documentation

◆ do_board_reset()

void do_board_reset ( void  )

Definition at line 7 of file reset.c.

References BIOS_ERR, printk, RESET_TYPE_COLD, and svc_reset_system().

Here is the call graph for this function: