__noreturn
unsigned long cpu_mmu_flags) __noreturn;
typedef void __noreturn (* noret_func_t)(void);
unsigned long start_address) __noreturn;
typedef void __noreturn (*kernel_entry_t)(bool efi, unsigned long cmdline,
typedef void __noreturn (*jump_kernel_func)(unsigned long, unsigned long);
#define __noreturn __attribute__((__noreturn__))
#define __noreturn __attribute__((__noreturn__))
#define __noreturn __attribute__((noreturn))
#define __noreturn __attribute__((__noreturn__))
#define __noreturn __attribute__((__noreturn__))