Line data    Source code

       1            0 : /*
       2              :  * Copyright (c) 2021 EPAM Systems
       3              :  *
       4              :  * SPDX-License-Identifier: Apache-2.0
       5              :  */
       6              : #ifndef __XEN_CONSOLE_H__
       7              : #define __XEN_CONSOLE_H__
       8              : 
       9              : #include <zephyr/init.h>
      10              : #include <zephyr/device.h>
      11              : #include <zephyr/drivers/uart.h>
      12              : #include <zephyr/sys/device_mmio.h>
      13              : 
      14            0 : struct hvc_xen_data {
      15            0 :         DEVICE_MMIO_RAM;        /* should be first */
      16            0 :         const struct device *dev;
      17            0 :         struct xencons_interface *intf;
      18            0 :         uint64_t evtchn;
      19              : 
      20              : #ifdef CONFIG_UART_INTERRUPT_DRIVEN
      21            0 :         uart_irq_callback_user_data_t irq_cb;
      22            0 :         void *irq_cb_data;
      23              : #endif /* CONFIG_UART_INTERRUPT_DRIVEN */
      24              : };
      25              : 
      26            0 : int xen_console_init(const struct device *dev);
      27              : 
      28              : #endif /* __XEN_CONSOLE_H__ */