Symbol: ATTR_ADDR
sys/arm64/include/pte.h
88
#define ATTR_ADDR UINT64_C(0x0003fffffffff000)
sys/arm64/include/pte.h
90
#define ATTR_ADDR UINT64_C(0x0003ffffffffc000)