1 // SPDX-License-Identifier: GPL-2.0 2 #include <linux/init.h> 3 #include <linux/bootmem.h> 4 #include <linux/printk.h> 5 early_init_dt_add_memory_arch(u64 base,u64 size)6void __init early_init_dt_add_memory_arch(u64 base, u64 size) 7 { 8 pr_err("%s(%llx, %llx)\n", 9 __func__, base, size); 10 } 11 early_init_dt_alloc_memory_arch(u64 size,u64 align)12void * __init early_init_dt_alloc_memory_arch(u64 size, u64 align) 13 { 14 return alloc_bootmem_align(size, align); 15 } 16