Lines Matching refs:VKI_PROT_READ
44 #include "pub_core_vki.h" /* VKI_PROT_READ */661 VKI_PROT_READ )) {673 VKI_PROT_READ )) {
