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