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