void device_free_history();