Function create_high_precision_timer

src/platform/linux/misc.cpp:1062–1064

  };

  std::unique_ptr<high_precision_timer> create_high_precision_timer() {
    return std::make_unique<linux_high_precision_timer>();
  }

  std::string
  get_clipboard() {