Symbol: LX_BLKPAG_OS_READ
sys/arch/aarch64/aarch64/pmap.c
964
pte |= LX_BLKPAG_OS_READ; /* a valid pte can always be readable */
sys/arch/aarch64/include/pmap.h
337
#define LX_BLKPAG_OS_RWMASK (LX_BLKPAG_OS_WRITE | LX_BLKPAG_OS_READ)