AARCH64_DIRECTMAP_MASK
if ((va & AARCH64_DIRECTMAP_MASK) != AARCH64_DIRECTMAP_START) {
#if ((AARCH64_DIRECTMAP_MASK & 0x0000ffffffffffff) == 0)
#if ((AARCH64_DIRECTMAP_MASK & 0x0000ffffffffffff) == 0)
#define AARCH64_DIRECTMAP_START AARCH64_DIRECTMAP_MASK
#define AARCH64_KVA_P(va) (((vaddr_t) (va) & AARCH64_DIRECTMAP_MASK) != 0)
#define AARCH64_KVA_TO_PA(va) ((paddr_t) ((va) & ~AARCH64_DIRECTMAP_MASK))