Symbol: PMAP_PTE_OS0
sys/arch/aarch64/include/pmap.h
339
#define PMAP_PTE_OS0 "read"
sys/arch/aarch64/include/pmap_machdep.h
139
#define PMAP_PTE_OS0 "modemul"