Lines Matching refs:VKI_PROT_READ
45 #include "pub_core_vki.h" /* VKI_PROT_READ */678 VKI_PROT_READ )) {690 VKI_PROT_READ )) {