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 )) {