fdt_memory_remove_range
fdt_memory_remove_range(kernstart_phys,
fdt_memory_remove_range(bmi->bmi_kernelstart,
fdt_memory_remove_range(free_pv->pv_pa, nbytes);
fdt_memory_remove_range(addr, size);
fdt_memory_remove_range(memory_limit , memory_end);
fdt_memory_remove_range(kernstart_phys,
fdt_memory_remove_range(spa, epa - spa);
fdt_memory_remove_range(memory_limit, memory_end);
fdt_memory_remove_range(dtb, dtbsize);
fdt_memory_remove_range(msgbufaddr, msgbufaddr + MSGBUFSIZE);
fdt_memory_remove_range(trunc_page(initrd_start), initrd_size);
fdt_memory_remove_range(trunc_page(rndseed_start),
fdt_memory_remove_range(trunc_page(efirng_start), efirng_size);
fdt_memory_remove_range(addr, size);
fdt_memory_remove_range(addr, size);
void fdt_memory_remove_range(uint64_t, uint64_t);