X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios.h;h=b4c17e6c7d4b5601389d305d0d30c5d4a10cc650;hb=ce0f119828348c3c57a00c4aa268a8a223ccd7f8;hp=c9cbb9672702e46fe2def9324f4d1c6145afe194;hpb=b07dd4e35a37f1db04c4f52f9904ee7206673ac6;p=palacios.git

diff --git a/linux_module/palacios.h b/linux_module/palacios.h
index c9cbb96..b4c17e6 100644
--- a/linux_module/palacios.h
+++ b/linux_module/palacios.h
@@ -166,6 +166,8 @@ void  palacios_yield_cpu(void);
 void  palacios_sleep_cpu(unsigned int us);
 unsigned int palacios_get_cpu(void);
 unsigned int palacios_get_cpu_khz(void);
+void  palacios_used_fpu(void);
+void  palacios_need_fpu(void);
 void *palacios_mutex_alloc(void);         // allocates and inits a lock
 void  palacios_mutex_init(void *mutex);   // only inits a lock
 void  palacios_mutex_deinit(void *mutex); // only deinits a lock