1 #include <cdsannotate.h>
6 /** Pass in an annotation that a trace analysis will use. The
7 * analysis type is a unique number that specifies which trace
8 * analysis needs the annotation. The reference is to a data
9 * structure that the trace understands. */
11 void cdsannotate(uint64_t analysistype, void *annotation) {
12 /* seq_cst is just a 'don't care' parameter */
13 model->switch_thread(new ModelAction(ATOMIC_ANNOTATION, std::memory_order_seq_cst, annotation, analysistype));