Lines Matching refs:VKI_PROT_READ
117 return VG_(am_is_valid_for_client)( (Addr)start, size, VKI_PROT_READ );
171 rr = toBool(prot & VKI_PROT_READ);
229 Bool rr = toBool(prot & VKI_PROT_READ);
1785 UInt prot = VKI_PROT_READ|VKI_PROT_WRITE;
2556 || !VG_(am_is_valid_for_client)( ARG1, 1, VKI_PROT_READ )) {
