Symbol: ASID_RESERVED_FOR_EFI
sys/arm64/arm64/efirt_machdep.c
183
efi_ttbr0 = ASID_TO_OPERAND(ASID_RESERVED_FOR_EFI) |
sys/arm64/include/pmap.h
122
#define ASID_FIRST_AVAILABLE (ASID_RESERVED_FOR_EFI + 1)