1// SPDX-License-Identifier: GPL-2.0+
2/*
3 * Copyright 2019 Google LLC
4 * Written by Simon Glass <sjg@chromium.org>
5 */
6
7#include <common.h>
8#include <init.h>
9#include <asm/fsp/fsp_support.h>
10
11void board_final_cleanup(void)
12{
13	u32 status;
14
15	/* TODO(sjg@chromium.org): This causes Linux to crash */
16	return;
17
18	/* call into FspNotify */
19	debug("Calling into FSP (notify phase INIT_PHASE_END_FIRMWARE): ");
20	status = fsp_notify(NULL, INIT_PHASE_END_FIRMWARE);
21	if (status)
22		debug("fail, error code %x\n", status);
23	else
24		debug("OK\n");
25}
26