Lines Matching refs:Addr
80 * Return the data associated with the client object at client address addr.
84 DrdClientobj* DRD_(clientobj_get_any)(const Addr addr)
86 return VG_(OSetGen_Lookup)(s_clientobj_set, &addr);
90 * Return the data associated with the client object at client address addr
94 DrdClientobj* DRD_(clientobj_get)(const Addr addr, const ObjType t)
97 p = VG_(OSetGen_Lookup)(s_clientobj_set, &addr);
106 Bool DRD_(clientobj_present)(const Addr a1, const Addr a2)
123 * Add state information for the client object at client address addr and
124 * of type t. Suppress data race reports on the address range [addr,addr+size[.
126 * @pre No other client object is present in the address range [addr,addr+size[.
128 DrdClientobj* DRD_(clientobj_add)(const Addr a1, const ObjType t)
155 * @param[in] addr Address of the client object in the client address space.
158 Bool DRD_(clientobj_remove)(const Addr addr, const ObjType t)
162 p = VG_(OSetGen_Lookup)(s_clientobj_set, &addr);
204 void DRD_(clientobj_stop_using_mem)(const Addr a1, const Addr a2)
206 Addr removed_at;
