1/*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7#pragma once
8
9#include <types.h>
10
11cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large);
12cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,
13                                 bool_t executable);
14
15void init_kernel(
16    paddr_t ui_p_reg_start,
17    paddr_t ui_p_reg_end,
18    sword_t pv_offset,
19    vptr_t  v_entry,
20    paddr_t dtb_addr_p,
21    uint32_t dtb_size
22);
23
24