platform/efi/mmu.cpp

28 struct memory_region {
29 	memory_region *next;
35  	  dprintf("%s memory_region v: %#" B_PRIxADDR " p: %#" B_PRIxPHYSADDR " size: %lu\n", msg, vaddr,
46 static memory_region *allocated_regions = NULL;
122 	memory_region *region = new(std::nothrow) memory_region {
160 	memory_region *region = new(std::nothrow) memory_region {
217 		memory_region *region = new(std::nothrow) memory_region {
248 	for (memory_region *region = allocated_regions; region;
271 	for (memory_region *region = allocated_regions; region;
292 	for (memory_region **ref = &allocated_regions; *ref;
300 			memory_region* old = *ref;
321 		*cookie = ((memory_region*)*cookie)->next;
323 	memory_region* region = (memory_region*)*cookie;