fdt_num_mem_rsv
int fdt_num_mem_rsv(const void *fdt);
num_memrsv = fdt_num_mem_rsv(fdt);
re = fdt_mem_rsv_w_(fdt, fdt_num_mem_rsv(fdt));
if (n >= fdt_num_mem_rsv(fdt))
mem_rsv_size = (fdt_num_mem_rsv(fdt)+1)
mem_rsv_size = (fdt_num_mem_rsv(fdt)+1)