1 /*
2  * Copyright 2020 The Hafnium Authors.
3  *
4  * Use of this source code is governed by a BSD-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/BSD-3-Clause.
7  */
8 
9 #pragma once
10 
11 #include "hf/boot_params.h"
12 #include "hf/mm.h"
13 #include "hf/mpool.h"
14 
15 /** Apply an update to the FDT. */
16 bool fdt_patch(struct mm_stage1_locked stage1_locked, paddr_t fdt_addr,
17 	       struct boot_params_update *p, struct mpool *ppool);
18 
19 /** Patches a secondary VM's FDT with the location of its memory range. */
20 bool fdt_patch_mem(struct mm_stage1_locked stage1_locked, paddr_t fdt_addr,
21 		   size_t fdt_max_size, paddr_t mem_begin, paddr_t mem_end,
22 		   struct mpool *ppool);
23