| /* SPDX-License-Identifier: GPL-2.0-only */ |
| * arch/mips/include/asm/prom.h |
| * Copyright (C) 2010 Cisco Systems Inc. <dediao@cisco.com> |
| #include <asm/bootinfo.h> |
| extern void device_tree_init(void); |
| struct boot_param_header; |
| extern void __dt_setup_arch(void *bph); |
| extern int __dt_register_buses(const char *bus0, const char *bus1); |
| #else /* !CONFIG_USE_OF */ |
| static inline void device_tree_init(void) { } |
| #endif /* !CONFIG_USE_OF */ |
| extern char *mips_get_machine_name(void); |
| extern void mips_set_machine_name(const char *name); |
| #endif /* __ASM_PROM_H */ |