1 /*
2  * Copyright (c) 2020 Travis Geiselbrecht
3  *
4  * Use of this source code is governed by a MIT-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/MIT
7  */
8 #pragma once
9 
10 #include <sys/types.h>
11 #include <lk/compiler.h>
12 
13 __BEGIN_CDECLS
14 
15 void riscv_early_init_percpu(void);
16 void riscv_init_percpu(void);
17 void riscv_boot_secondaries(void);
18 void riscv_configure_percpu_mp_early(uint hart_id, uint cpu_num);
19 void riscv_early_mmu_init(void);
20 void riscv_mmu_init(void);
21 void riscv_mmu_init_secondaries(void);
22 
23 __END_CDECLS
24