X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_util.h;h=f3319b619bf5cc7ceedbb1996d759d01cecf5cf3;hb=de6084de2145f3889a16d8498e5e7d44e96e0162;hp=323b977f2356cc449967beec8da9ef4bdc3bb30c;hpb=a109eb919a162bd7de58d62020801bc2e633be50;p=palacios.git diff --git a/palacios/include/palacios/vmm_util.h b/palacios/include/palacios/vmm_util.h index 323b977..f3319b6 100644 --- a/palacios/include/palacios/vmm_util.h +++ b/palacios/include/palacios/vmm_util.h @@ -1,45 +1,155 @@ +/* + * 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) 2008, Jack Lange + * Copyright (c) 2008, The V3VEE Project + * All rights reserved. + * + * Author: Jack Lange + * + * This is free software. You are permitted to use, + * redistribute, and modify it as specified in the file "V3VEE_LICENSE". + */ + #ifndef __VMM_UTIL_H #define __VMM_UTIL_H -#include - +#ifdef __V3VEE__ -#ifndef PAGE_SIZE -#define PAGE_SIZE 4096 -#endif +#include typedef union reg_ex { - ullong_t r_reg; - struct { - uint_t low; - uint_t high; - } e_reg; + ullong_t r_reg; + struct { + uint_t low; + uint_t high; + } e_reg; } reg_ex_t; -// These are the GPRs layed out according to 'pusha' -struct VMM_GPRs { - uint_t edi; - uint_t esi; - uint_t ebp; - uint_t esp; - uint_t ebx; - uint_t edx; - uint_t ecx; - uint_t eax; -}; +#define GET_LOW_32(x) (*((uint_t*)(&(x)))) +#define GET_HIGH_32(x) (*((uint_t*)(((uchar_t*)(&(x)))+4))) -#define GET_LOW_32(x) (*((uint_t*)(&(x)))) -#define GET_HIGH_32(x) (*((uint_t*)(((char*)(&(x)))+4))) + +void v3_dump_mem(uint8_t * start, int n); + + + + +#define rdtsc(low,high) \ + __asm__ __volatile__("rdtsc" : "=a" (low), "=d" (high)) + +#define rdtscl(low) \ + __asm__ __volatile__("rdtsc" : "=a" (low) : : "edx") + + + +#define rdtscll(val) \ + do { \ + uint64_t tsc; \ + uint32_t a, d; \ + asm volatile("rdtsc" : "=a" (a), "=d" (d)); \ + *(uint32_t *)&(tsc) = a; \ + *(uint32_t *)(((uchar_t *)&tsc) + 4) = d; \ + val = tsc; \ + } while (0) + + + + + + +#ifdef __V3_64BIT__ + + +#define do_divll(n, base) ({ \ + uint64_t __rem = 0; \ + uint64_t __num = 0; \ + while (n > base) { \ + __num++; \ + n -= base; \ + } \ + __rem = n; \ + n = __num; \ + __rem; \ + }) + +/*#define do_divll do_div*/ + + +/* + #define do_div(n,base) ({ \ + uint32_t __base = (base); \ + uint32_t __rem; \ + __rem = ((uint64_t)(n)) % __base; \ + (n) = ((uint64_t)(n)) / __base; \ + __rem; \ + }) +*/ + +#else + +/* + * do_div() is NOT a C function. It wants to return + * two values (the quotient and the remainder), but + * since that doesn't work very well in C, what it + * does is: + * + * - modifies the 64-bit dividend _in_place_ + * - returns the 32-bit remainder + * + * This ends up being the most efficient "calling + * convention" on x86. + */ +#define do_div(n,base) ({ \ + unsigned long __upper, __low, __high, __mod, __base; \ + __base = (base); \ + asm("":"=a" (__low), "=d" (__high):"A" (n)); \ + __upper = __high; \ + if (__high) { \ + __upper = __high % (__base); \ + __high = __high / (__base); \ + } \ + asm("divl %2":"=a" (__low), "=d" (__mod):"rm" (__base), "0" (__low), "1" (__upper)); \ + asm("":"=A" (n):"a" (__low),"d" (__high)); \ + __mod; \ + }) + + + +/* This divides two 64bit unsigned ints + * The previous version only allows 32 bit bases(?)... + * + * NOTE: This absolutely sucks... there has to be a better way.... + */ +#define do_divll(n, base) ({ \ + ullong_t __rem = 0; \ + ullong_t __num = 0; \ + while (n > base) { \ + __num++; \ + n -= base; \ + } \ + __rem = n; \ + n = __num; \ + __rem; \ + }) + +#endif + -void PrintTraceHex(unsigned char x); -void PrintTraceMemDump(unsigned char * start, int n); +#endif /* ! __V3VEE__ */ #endif