^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) /* SPDX-License-Identifier: GPL-2.0 */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) #ifndef BOOT_BOOT_H
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) #define BOOT_BOOT_H
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) void startup_kernel(void);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) void detect_memory(void);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) void store_ipl_parmblock(void);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) void setup_boot_command_line(void);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) void parse_boot_command_line(void);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) void setup_memory_end(void);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) void verify_facilities(void);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) void print_missing_facilities(void);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) void print_pgm_check_info(void);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) unsigned long get_random_base(unsigned long safe_addr);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) extern int kaslr_enabled;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) extern const char kernel_version[];
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) unsigned long read_ipl_report(unsigned long safe_offset);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 21) #endif /* BOOT_BOOT_H */