benchmarks/compartment-call/callee.cc

#include "callee.h"
#include "../timing.h"

int  noop_return_rdcycle() { return rdcycle(); }