Symbol: EFI_MEMORY_RUNTIME
sys/dev/efi/efi.h
94
#define EFI_MEMORY_RUNTIME 0x8000000000000000
sys/stand/efi/include/efidef.h
176
#define EFI_MEMORY_RUNTIME 0x8000000000000000