num_rsv            35 drivers/firmware/efi/libstub/fdt.c 	int node, num_rsv;
num_rsv            76 drivers/firmware/efi/libstub/fdt.c 	num_rsv = fdt_num_mem_rsv(fdt);
num_rsv            77 drivers/firmware/efi/libstub/fdt.c 	while (num_rsv-- > 0)
num_rsv            78 drivers/firmware/efi/libstub/fdt.c 		fdt_del_mem_rsv(fdt, num_rsv);