X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmm_stubs.h;h=396e614ea82edcbb2a3a18151e3e0dac60122115;hb=d172c2b8434d7731d757b9fac20d59f562ff9df0;hp=d6a84413cd5dd749385950f9715c2f54b1b11dfa;hpb=ace8f0532fa5650c6642a3a7174f3aa19b09095a;p=palacios.git diff --git a/palacios/include/geekos/vmm_stubs.h b/palacios/include/geekos/vmm_stubs.h index d6a8441..396e614 100644 --- a/palacios/include/geekos/vmm_stubs.h +++ b/palacios/include/geekos/vmm_stubs.h @@ -6,6 +6,8 @@ #include +struct guest_info; + void * Allocate_VMM_Pages(int num_pages); void Free_VMM_Page(void * page); @@ -14,6 +16,66 @@ void VMM_Free(void * addr); void * Identity(void *addr); -void Hook_IRQ(int irq, void (*handler)()); + +int hook_irq_stub(struct guest_info * info, int irq); +int ack_irq(int irq); + + +unsigned int get_cpu_khz(); + +void Init_Stubs(); + + + + + + + + + +#if 0 + +# 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; \ + }) + +#endif + + + + + #endif