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) 2008, Jack Lange <jarusl@cs.northwestern.edu>
11 * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
12 * All rights reserved.
14 * Author: Jack Lange <jarusl@cs.northwestern.edu>
16 * This is free software. You are permitted to use,
17 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
25 #include <palacios/vmm_types.h>
28 typedef union reg_ex {
39 #define GET_LOW_32(x) (*((uint_t*)(&(x))))
40 #define GET_HIGH_32(x) (*((uint_t*)(((uchar_t*)(&(x)))+4)))
44 void v3_dump_mem(uint8_t * start, int n);
49 #define rdtsc(low,high) \
50 __asm__ __volatile__("rdtsc" : "=a" (low), "=d" (high))
53 __asm__ __volatile__("rdtsc" : "=a" (low) : : "edx")
57 #define rdtscll(val) \
61 asm volatile("rdtsc" : "=a" (a), "=d" (d)); \
62 *(uint32_t *)&(tsc) = a; \
63 *(uint32_t *)(((uchar_t *)&tsc) + 4) = d; \
75 #define do_divll(n, base) ({ \
87 //#define do_divll do_div
91 #define do_div(n,base) ({ \
92 uint32_t __base = (base); \
94 __rem = ((uint64_t)(n)) % __base; \
95 (n) = ((uint64_t)(n)) / __base; \
103 * do_div() is NOT a C function. It wants to return
104 * two values (the quotient and the remainder), but
105 * since that doesn't work very well in C, what it
108 * - modifies the 64-bit dividend _in_place_
109 * - returns the 32-bit remainder
111 * This ends up being the most efficient "calling
112 * convention" on x86.
114 #define do_div(n,base) ({ \
115 unsigned long __upper, __low, __high, __mod, __base; \
117 asm("":"=a" (__low), "=d" (__high):"A" (n)); \
120 __upper = __high % (__base); \
121 __high = __high / (__base); \
123 asm("divl %2":"=a" (__low), "=d" (__mod):"rm" (__base), "0" (__low), "1" (__upper)); \
124 asm("":"=A" (n):"a" (__low),"d" (__high)); \
130 /* This divides two 64bit unsigned ints
131 * The previous version only allows 32 bit bases(?)...
133 * NOTE: This absolutely sucks... there has to be a better way....
135 #define do_divll(n, base) ({ \
136 ullong_t __rem = 0; \
137 ullong_t __num = 0; \
153 #endif // ! __V3VEE__