/*
 * This file is part of the Palacios Virtual Machine Monitor developed
 * by the V3VEE Project with funding from the United States National 
 * Science Foundation and the Department of Energy.  
 *
 * The V3VEE Project is a joint project between Northwestern University
 * and the University of New Mexico.  You can find out more at 
 * http://www.v3vee.org
 *
 * Copyright (c) 2013, The V3VEE Project <http://www.v3vee.org> 
 * All rights reserved.
 *
 * Author: Chang S. Bae <chang.bae@eecs.northwestern.edu>
 *         Peter Dinda <pdinda@northwestern.edu>
 *
 * This is free software.  You are permitted to use,
 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
 */

#ifndef __VMM_PMU_TELEMETRY_H__
#define __VMM_PMU_TELEMETRY_H__

#ifdef __V3VEE__

#ifdef V3_CONFIG_PMU_TELEMETRY

#include <interfaces/vmm_pmu.h>
#include <palacios/vmm_list.h>

struct guest_info;

#define PMU_NUM_COUNTERS         6

struct v3_core_pmu_telemetry {
  enum {AWAIT_FIRST_ENTRY=0, AWAIT_ENTRY, AWAIT_EXIT} state;
  uint8_t       active_counters[PMU_NUM_COUNTERS];
  uint64_t      guest_counts[PMU_NUM_COUNTERS];
  uint64_t      host_counts[PMU_NUM_COUNTERS];
  uint64_t      last_snapshot[PMU_NUM_COUNTERS];
  uint64_t      guest_ucpi_estimate; // cycles per instruction * 1e6
  uint64_t      guest_umpl_estimate; // cache misses per load * 1e6 
  uint64_t      host_ucpi_estimate; // cycles per instruction * 1e6
  uint64_t      host_umpl_estimate; // cache misses per load * 1e6 
};


void v3_pmu_telemetry_start(struct guest_info *info);
void v3_pmu_telemetry_enter(struct guest_info *info);
void v3_pmu_telemetry_exit(struct guest_info *info);
void v3_pmu_telemetry_end(struct guest_info *info);


#endif
#endif
#endif