Line data    Source code

       1           1 : /**
       2             :  * @file arch/io.h
       3             :  *
       4             :  * @brief Generic input-output facilities
       5             :  *
       6             :  * This header declares architecture independent input-oputput facilities for
       7             :  * the use in the simulator
       8             :  *
       9             :  * SPDX-FileCopyrightText: 2008-2021 HPDCS Group <rootsim@googlegroups.com>
      10             :  * SPDX-License-Identifier: GPL-3.0-only
      11             :  */
      12             : #pragma once
      13             : 
      14             : #include <arch/platform.h>
      15             : 
      16             : #include <stdbool.h>
      17             : #include <stdio.h>
      18             : 
      19           0 : #define IO_TIME_BUFFER_LEN 26
      20             : 
      21           1 : extern bool io_terminal_can_colorize(void);
      22           0 : extern void io_local_time_get(char res[IO_TIME_BUFFER_LEN]);
      23           1 : extern FILE *io_file_tmp_get(void);