prsv              588 drivers/firmware/efi/efi.c 		unsigned long prsv = efi.mem_reserve;
prsv              590 drivers/firmware/efi/efi.c 		while (prsv) {
prsv              600 drivers/firmware/efi/efi.c 			p = early_memremap(ALIGN_DOWN(prsv, PAGE_SIZE),
prsv              607 drivers/firmware/efi/efi.c 			rsv = (void *)(p + prsv % PAGE_SIZE);
prsv              610 drivers/firmware/efi/efi.c 			memblock_reserve(prsv, EFI_MEMRESERVE_SIZE(rsv->size));
prsv              617 drivers/firmware/efi/efi.c 			prsv = rsv->next;
prsv              994 drivers/firmware/efi/efi.c 	unsigned long prsv;
prsv             1007 drivers/firmware/efi/efi.c 	for (prsv = efi_memreserve_root->next; prsv; prsv = rsv->next) {
prsv             1008 drivers/firmware/efi/efi.c 		rsv = memremap(prsv, sizeof(*rsv), MEMREMAP_WB);