Symbol: firmware_reserved
stand/kboot/libkboot/seg.c
219
{ firmware_reserved, "Reserved" },
stand/kboot/libkboot/seg.c
316
add_avail(start, end, firmware_reserved);