2 * This file is part of the Palacios Virtual Machine Monitor developed
3 * by the V3VEE Project with funding from the United States National
4 * Science Foundation and the Department of Energy.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
10 * Copyright (c) 2015, Peter Dinda <pdinda@northwestern.edu>
11 * Copyright (c) 2015, The V3VEE Project <http://www.v3vee.org>
12 * All rights reserved.
14 * Author: Peter Dinda <pdinda@northwestern.edu>
16 * This is free software. You are permitted to use,
17 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
20 #include <palacios/vmm.h>
21 #include <interfaces/vmm_cache_info.h>
23 static struct v3_cache_info_iface *cache_info=0;
25 void V3_Init_Cache_Info(struct v3_cache_info_iface * palacios_cache_info)
27 cache_info=palacios_cache_info;
28 V3_Print(VM_NONE,VCORE_NONE,"Cache information interface inited\n");
31 int v3_get_cache_info(v3_cache_type_t type, uint32_t level, struct v3_cache_info *info)
33 if (cache_info && cache_info->get_cache_level) {
34 return cache_info->get_cache_level(type,level,info);