flog.h: delete
This is dead code; i.e., nothing uses it.
diff --git a/libsel4bench/include/sel4bench/flog.h b/libsel4bench/include/sel4bench/flog.h
deleted file mode 100644
index b6f5b63..0000000
--- a/libsel4bench/include/sel4bench/flog.h
+++ /dev/null
@@ -1,73 +0,0 @@
-/*
- * Copyright 2017, Data61
- * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
- * ABN 41 687 119 230.
- *
- * This software may be distributed and modified according to the terms of
- * the BSD 2-Clause license. Note that NO WARRANTY is provided.
- * See "LICENSE_BSD2.txt" for details.
- *
- * @TAG(DATA61_BSD)
- */
-
-#pragma once
-
-#include <autoconf.h>
-#include <sel4bench/sel4bench.h>
-#include <stdlib.h>
-#include <utils/util.h>
-
-typedef struct {
- ccnt_t *results;
- size_t length;
- size_t next;
- ccnt_t start;
-} flog_t;
-
-#ifdef CONFIG_FLOG
-static inline flog_t *
-flog_init(ccnt_t *results, int length)
-{
- flog_t *flog = calloc(1, sizeof(flog_t));
- if (unlikely(flog == NULL)) {
- ZF_LOGE("Failed to allocate flog");
- return NULL;
- }
-
- flog->results = results;
- flog->length = length;
-
- return flog;
-}
-
-static inline void
-flog_end(flog_t *flog)
-{
- ccnt_t end;
- SEL4BENCH_READ_CCNT(end);
- if (likely(flog->start != 0 && flog->next < flog->length)) {
- flog->results[flog->next] = end - flog->start;
- flog->next++;
- }
-}
-
-static inline void
-flog_start(flog_t *flog)
-{
- SEL4BENCH_READ_CCNT(flog->start);
-}
-
-static inline void
-flog_free(flog_t *flog)
-{
- free(flog);
-}
-
-#else
-
-#define flog_init(r, l) NULL
-#define flog_end(f)
-#define flog_start(f)
-#define flog_free(f)
-
-#endif /* CONFIG_FLOG */
