plat/mediatek/drivers/dfd/dfd.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

/*
 * Copyright (c) 2022, MediaTek Inc. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef DFD_H
#define DFD_H

#include <arch_helpers.h>
#include <lib/mmio.h>

void dfd_resume(void);
void dfd_setup(uint64_t base_addr, uint64_t chain_length, uint64_t cache_dump);

#endif /* DFD_H */