blob: 5bae046bfe54c36648dd67f726b1ced771d29ddd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/*
* Copyright (c) 2021, Marcin Undak <mcinek@gmail.com>
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#pragma once
extern "C" void wait_cycles(int n);
// CPU initialization functions
extern "C" [[noreturn]] void return_from_el2();
extern "C" [[noreturn]] void return_from_el3();
|
