static void dm_rebootOS() {
  dm_restartOS();
}