XBT_PUBLIC(void) sg_vm_set_dirty_page_intensity(sg_vm_t vm, double intensity);
XBT_PUBLIC(double) sg_vm_get_dirty_page_intensity(sg_vm_t vm);
XBT_PUBLIC(void) sg_vm_set_working_set_memory(sg_vm_t vm, sg_size_t size);
XBT_PUBLIC(void) sg_vm_set_dirty_page_intensity(sg_vm_t vm, double intensity);
XBT_PUBLIC(double) sg_vm_get_dirty_page_intensity(sg_vm_t vm);
XBT_PUBLIC(void) sg_vm_set_working_set_memory(sg_vm_t vm, sg_size_t size);