X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fdevices%2Fnvram.h;fp=palacios%2Finclude%2Fdevices%2Fnvram.h;h=711d8f7f2580d8d0a0426f2eb716b698650187ee;hb=66a1a4c7a9edcd7d8bc207aca093d694a6e6b5b2;hp=cd6328c7fd5b3f62c0870b3815ef893a83f48910;hpb=f7cf9c19ecb0a589dd45ae0d2c91814bd3c2acc2;p=palacios.git diff --git a/palacios/include/devices/nvram.h b/palacios/include/devices/nvram.h index cd6328c..711d8f7 100644 --- a/palacios/include/devices/nvram.h +++ b/palacios/include/devices/nvram.h @@ -17,14 +17,18 @@ * redistribute, and modify it as specified in the file "V3VEE_LICENSE". */ -#ifndef __NVRAM_H -#define __NVRAM_H +#ifndef __DEVICES_NVRAM_H__ +#define __DEVICES_NVRAM_H__ + +#ifdef __V3VEE__ + #include -struct vm_device *create_nvram(); +struct vm_device * v3_create_nvram(); + + -// The host os needs to call this -void deliver_timer_interrupt_to_vmm(uint_t period_us); +#endif // ! __V3VEE__ #endif