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".
24 #include <geekos/mem.h>
25 #include <geekos/malloc.h>
33 void * Allocate_VMM_Pages(int num_pages);
34 void Free_VMM_Page(void * page);
36 void * VMM_Malloc(unsigned int size);
37 void VMM_Free(void * addr);
39 void * Identity(void *addr);
44 int hook_irq_stub(struct guest_info * info, int irq);
49 int geekos_hook_interrupt(struct guest_info * info, uint_t irq);
52 unsigned int get_cpu_khz();
67 # define do_div(n,base) ({ \
68 uint32_t __base = (base); \
70 __rem = ((uint64_t)(n)) % __base; \
71 (n) = ((uint64_t)(n)) / __base; \
78 * do_div() is NOT a C function. It wants to return
79 * two values (the quotient and the remainder), but
80 * since that doesn't work very well in C, what it
83 * - modifies the 64-bit dividend _in_place_
84 * - returns the 32-bit remainder
86 * This ends up being the most efficient "calling
89 #define do_div(n,base) ({ \
90 unsigned long __upper, __low, __high, __mod, __base; \
92 asm("":"=a" (__low), "=d" (__high):"A" (n)); \
95 __upper = __high % (__base); \
96 __high = __high / (__base); \
98 asm("divl %2":"=a" (__low), "=d" (__mod):"rm" (__base), "0" (__low), "1" (__upper)); \
99 asm("":"=A" (n):"a" (__low),"d" (__high)); \