sewardj | af44c82 | 2007-11-25 14:01:38 +0000 | [diff] [blame] | 1 | #ifndef __PUB_CORE_DRD_H |
| 2 | #define __PUB_CORE_DRD_H |
| 3 | |
| 4 | |
bart | 1335ecc | 2009-02-14 16:10:53 +0000 | [diff] [blame] | 5 | #include "drd_basics.h" |
sewardj | af44c82 | 2007-11-25 14:01:38 +0000 | [diff] [blame] | 6 | #include "pub_tool_basics.h" |
| 7 | |
bart | 005dc97 | 2008-03-29 14:42:59 +0000 | [diff] [blame] | 8 | |
bart | 1335ecc | 2009-02-14 16:10:53 +0000 | [diff] [blame] | 9 | extern Bool DRD_(g_any_address_traced); |
bart | 005dc97 | 2008-03-29 14:42:59 +0000 | [diff] [blame] | 10 | |
| 11 | |
bart | 1335ecc | 2009-02-14 16:10:53 +0000 | [diff] [blame] | 12 | void DRD_(suppression_set_trace)(const Bool trace_suppression); |
| 13 | void DRD_(suppression_init)(void); |
| 14 | void DRD_(start_suppression)(const Addr a1, const Addr a2, |
florian | 19f91bb | 2012-11-10 22:29:54 +0000 | [diff] [blame] | 15 | const HChar* const reason); |
bart | 1335ecc | 2009-02-14 16:10:53 +0000 | [diff] [blame] | 16 | void DRD_(finish_suppression)(const Addr a1, const Addr a2); |
| 17 | Bool DRD_(is_suppressed)(const Addr a1, const Addr a2); |
| 18 | Bool DRD_(is_any_suppressed)(const Addr a1, const Addr a2); |
bart | b00ac4c | 2010-03-07 20:05:23 +0000 | [diff] [blame] | 19 | void DRD_(mark_hbvar)(const Addr a1); |
| 20 | Bool DRD_(range_contains_suppression_or_hbvar)(const Addr a1, const Addr a2); |
bart | 41a378a | 2012-01-24 18:39:29 +0000 | [diff] [blame] | 21 | void DRD_(start_tracing_address_range)(const Addr a1, const Addr a2, |
| 22 | const Bool persistent); |
bart | 1335ecc | 2009-02-14 16:10:53 +0000 | [diff] [blame] | 23 | void DRD_(stop_tracing_address_range)(const Addr a1, const Addr a2); |
| 24 | Bool DRD_(is_any_traced)(const Addr a1, const Addr a2); |
| 25 | void DRD_(suppression_stop_using_mem)(const Addr a1, const Addr a2); |
sewardj | af44c82 | 2007-11-25 14:01:38 +0000 | [diff] [blame] | 26 | |
| 27 | |
bart | 1335ecc | 2009-02-14 16:10:53 +0000 | [diff] [blame] | 28 | static __inline__ Bool DRD_(any_address_is_traced)(void) |
bart | 005dc97 | 2008-03-29 14:42:59 +0000 | [diff] [blame] | 29 | { |
bart | bedfd23 | 2009-03-26 19:07:15 +0000 | [diff] [blame] | 30 | return DRD_(g_any_address_traced); |
bart | 005dc97 | 2008-03-29 14:42:59 +0000 | [diff] [blame] | 31 | } |
| 32 | |
| 33 | |
sewardj | af44c82 | 2007-11-25 14:01:38 +0000 | [diff] [blame] | 34 | #endif // __PUB_CORE_DRD_H |