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