1 #include <linux/init.h>
2 #include <linux/bootmem.h>
3 #include <linux/printk.h>
5 void __init
early_init_dt_add_memory_arch(u64 base
, u64 size
)
7 pr_err("%s(%llx, %llx)\n",
11 void * __init
early_init_dt_alloc_memory_arch(u64 size
, u64 align
)
13 return alloc_bootmem_align(size
, align
);