Symbol: elf64_region
headers/private/kernel/boot/elf.h
65
elf64_region text_region;
headers/private/kernel/boot/elf.h
66
elf64_region data_region;
src/system/boot/loader/elf.cpp
119
typedef elf64_region RegionType;