Branch data Line data Source code
1 : : /* SPDX-License-Identifier: GPL-2.0 */ 2 : : void convert_to_tag_list(struct tag *tags); 3 : : 4 : : #ifdef CONFIG_ATAGS 5 : : const struct machine_desc *setup_machine_tags(phys_addr_t __atags_pointer, 6 : : unsigned int machine_nr); 7 : : #else 8 : : static inline const struct machine_desc * __init __noreturn 9 : : setup_machine_tags(phys_addr_t __atags_pointer, unsigned int machine_nr) 10 : : { 11 : 0 : early_print("no ATAGS support: can't continue\n"); 12 : : while (true); 13 : : unreachable(); 14 : : } 15 : : #endif