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