Symbol: EFI_RUNTIME_SIZE
sys/arch/aarch64/aarch64/efi_machdep.c
80
va >= EFI_RUNTIME_VA + EFI_RUNTIME_SIZE) {
sys/arch/aarch64/aarch64/pmap.c
295
IN_RANGE((va), EFI_RUNTIME_VA, EFI_RUNTIME_VA + EFI_RUNTIME_SIZE)