1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef BOOT_BOOT_H 3#define BOOT_BOOT_H 4 5#include <linux/types.h> 6 7#define BOOT_STACK_OFFSET 0x8000 8 9#ifndef __ASSEMBLY__ 10 11#include <linux/compiler.h> 12 13void startup_kernel(void); 14unsigned long detect_memory(void); 15bool is_ipl_block_dump(void); 16void store_ipl_parmblock(void); 17void setup_boot_command_line(void); 18void parse_boot_command_line(void); 19void verify_facilities(void); 20void print_missing_facilities(void); 21void print_pgm_check_info(void); 22unsigned long get_random_base(unsigned long safe_addr); 23void __printf(1, 2) decompressor_printk(const char *fmt, ...); 24 25extern const char kernel_version[]; 26extern unsigned long memory_limit; 27extern unsigned long vmalloc_size; 28extern int vmalloc_size_set; 29extern int kaslr_enabled; 30 31unsigned long read_ipl_report(unsigned long safe_offset); 32 33#endif /* __ASSEMBLY__ */ 34#endif /* BOOT_BOOT_H */ 35