flog.h: delete

This is dead code; i.e., nothing uses it.

libsel4bench/include/sel4bench/flog.h

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 */