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