| // SPDX-License-Identifier: GPL-2.0+ | |
| /* | |
| * Copyright 2019 Google LLC | |
| * Written by Simon Glass <sjg@chromium.org> | |
| */ | |
| #include <init.h> | |
| #include <asm/fsp/fsp_support.h> | |
| void board_final_cleanup(void) | |
| { | |
| u32 status; | |
| /* TODO(sjg@chromium.org): This causes Linux to crash */ | |
| return; | |
| /* call into FspNotify */ | |
| debug("Calling into FSP (notify phase INIT_PHASE_END_FIRMWARE): "); | |
| status = fsp_notify(NULL, INIT_PHASE_END_FIRMWARE); | |
| if (status) | |
| debug("fail, error code %x\n", status); | |
| else | |
| debug("OK\n"); | |
| } |