| /* This file is autogenerated by tracetool, do not edit. */ |
| /* You must include this file after the inclusion of helper.h */ |
| |
| #ifndef TRACE_ROOT_GENERATED_TCG_TRACERS_H |
| #define TRACE_ROOT_GENERATED_TCG_TRACERS_H |
| |
| #include "exec/helper-proto.h" |
| #include "trace-root.h" |
| |
| static inline void trace_guest_mem_before_tcg(CPUState * __cpu, TCGv_env __tcg___cpu, TCGv vaddr, uint8_t info) |
| { |
| trace_guest_mem_before_trans(__cpu, info); |
| if (trace_event_get_vcpu_state(__cpu, TRACE_GUEST_MEM_BEFORE_EXEC)) { |
| gen_helper_trace_guest_mem_before_exec(__tcg___cpu, vaddr, info); |
| } |
| } |
| |
| #endif /* TRACE_ROOT_GENERATED_TCG_TRACERS_H */ |