[bootcensus] / src / census / util.c

#include "util.h"

uint32_t perf_start_count, perf_interval_count;