blob: 3dc3fef27b85be0904c5dd5f088cb202bbe3332b [file] [log] [blame]
Adrian Danis3ccebef2017-02-15 12:27:03 +11001/*
Gerwin Klein600fe152021-02-10 19:19:17 +11002 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
Adrian Danis3ccebef2017-02-15 12:27:03 +11003 *
Gerwin Klein600fe152021-02-10 19:19:17 +11004 * SPDX-License-Identifier: BSD-2-Clause
Adrian Danis3ccebef2017-02-15 12:27:03 +11005 */
6
7#pragma once
8
9#include <sel4/sel4.h>
10#include <sel4/macros.h>
11
12/* Helper function for pulling the bootinfo pointer out of the environment. */
13seL4_BootInfo *platsupport_get_bootinfo(void);
Adrian Danisbd8018b2017-08-08 03:56:54 +100014
15/* Helper function for getting the value of seL4_CapInitThreadTCB, which is an enum,
16 * into assembly */
17seL4_CPtr sel4ps_get_seL4_CapInitThreadTCB(void);