fdt_memory_get
fdt_memory_get(&memory_start, &memory_end);
void fdt_memory_get(uint64_t *, uint64_t *);