1 /* 2 * Copyright (c) 2023 Institute of Parallel And Distributed Systems (IPADS), Shanghai Jiao Tong University (SJTU) 3 * Licensed under the Mulan PSL v2. 4 * You can use this software according to the terms and conditions of the Mulan PSL v2. 5 * You may obtain a copy of Mulan PSL v2 at: 6 * http://license.coscl.org.cn/MulanPSL2 7 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR 8 * IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY OR FIT FOR A PARTICULAR 9 * PURPOSE. 10 * See the Mulan PSL v2 for more details. 11 */ 12 #ifndef BOOT_H 13 #define BOOT_H 14 15 #define BOOT_STACK_SIZE 0x1000 16 17 #ifndef __ASM__ 18 #include <common/types.h> 19 20 extern u64 _bss_start; 21 extern u64 _bss_end; 22 23 void init_boot_page_table(void); 24 25 void el1_mmu_activate(void); 26 27 void start_kernel(paddr_t start_pa); 28 #endif /* __ASM__ */ 29 30 #endif /* BOOT_H */