18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#ifndef BOOT_BOOT_H 38c2ecf20Sopenharmony_ci#define BOOT_BOOT_H 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_civoid startup_kernel(void); 68c2ecf20Sopenharmony_civoid detect_memory(void); 78c2ecf20Sopenharmony_civoid store_ipl_parmblock(void); 88c2ecf20Sopenharmony_civoid setup_boot_command_line(void); 98c2ecf20Sopenharmony_civoid parse_boot_command_line(void); 108c2ecf20Sopenharmony_civoid setup_memory_end(void); 118c2ecf20Sopenharmony_civoid verify_facilities(void); 128c2ecf20Sopenharmony_civoid print_missing_facilities(void); 138c2ecf20Sopenharmony_civoid print_pgm_check_info(void); 148c2ecf20Sopenharmony_ciunsigned long get_random_base(unsigned long safe_addr); 158c2ecf20Sopenharmony_ci 168c2ecf20Sopenharmony_ciextern int kaslr_enabled; 178c2ecf20Sopenharmony_ciextern const char kernel_version[]; 188c2ecf20Sopenharmony_ci 198c2ecf20Sopenharmony_ciunsigned long read_ipl_report(unsigned long safe_offset); 208c2ecf20Sopenharmony_ci 218c2ecf20Sopenharmony_ci#endif /* BOOT_BOOT_H */ 22