src/system/boot/platform/efi/mmu.cpp

114

memory_region *region = new(std::nothrow) memory_region {

src/system/boot/platform/efi/mmu.cpp

161

memory_region *region = new(std::nothrow) memory_region {

src/system/boot/platform/efi/mmu.cpp

218

memory_region *region = new(std::nothrow) memory_region {

src/system/boot/platform/efi/mmu.cpp

244

for (memory_region *region = allocated_regions; region;

src/system/boot/platform/efi/mmu.cpp

272

for (memory_region *region = allocated_regions; region;

src/system/boot/platform/efi/mmu.cpp

29

memory_region *next;

src/system/boot/platform/efi/mmu.cpp

295

for (memory_region *region = allocated_regions; region;

src/system/boot/platform/efi/mmu.cpp

316

for (memory_region **ref = &allocated_regions; *ref;

src/system/boot/platform/efi/mmu.cpp

324

memory_region* old = *ref;

src/system/boot/platform/efi/mmu.cpp

345

*cookie = ((memory_region*)*cookie)->next;

src/system/boot/platform/efi/mmu.cpp

347

memory_region* region = (memory_region*)*cookie;

src/system/boot/platform/efi/mmu.cpp

48

static memory_region *allocated_regions = NULL;