Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


P-State (DVFS) Enhancements
[palacios.git] / palacios / src / interfaces / vmm_pstate_ctrl.c
index e810b47..a7a9ce8 100644 (file)
@@ -51,7 +51,7 @@ void v3_acquire_pstate_ctrl(uint32_t type)
 }
 
 
-uint8_t v3_get_cpu_pstate(void)
+uint64_t v3_get_cpu_pstate(void)
 {
     if (pstate_ctrl_hooks && pstate_ctrl_hooks->get_pstate) { 
        return pstate_ctrl_hooks->get_pstate();
@@ -60,7 +60,7 @@ uint8_t v3_get_cpu_pstate(void)
     }
 }
 
-void    v3_set_cpu_pstate (uint8_t p)
+void    v3_set_cpu_pstate (uint64_t p)
 {
     if (pstate_ctrl_hooks && pstate_ctrl_hooks->set_pstate) { 
        pstate_ctrl_hooks->set_pstate(p);