HomeSort by: relevance | last modified time | path
    Searched refs:AARCH64_ADDRTOP_TAG (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/aarch64/include/
cpufunc.h 154 #define AARCH64_ADDRTOP_TAG __BIT(55) /* ECR_EL1.TBI[01]=1 */
177 addrtop = va & AARCH64_ADDRTOP_TAG;
210 addrtop = va & AARCH64_ADDRTOP_TAG;
230 if (__val & AARCH64_ADDRTOP_TAG)
  /src/sys/arch/aarch64/aarch64/
efi_machdep.c 76 /* even if TBI is disabled, AARCH64_ADDRTOP_TAG means KVA */
77 bool kva = (va & AARCH64_ADDRTOP_TAG) != 0;
pmap.c 796 /* even if TBI is disabled, AARCH64_ADDRTOP_TAG means KVA */
797 if ((uint64_t)va & AARCH64_ADDRTOP_TAG)

Completed in 13 milliseconds