1 /* SPDX-License-Identifier: MIT */
2 /******************************************************************************
5 * Console I/O interface for Xen guest OSes.
7 * Copyright (c) 2005, Keir Fraser
10 #ifndef __XEN_PUBLIC_IO_CONSOLE_H__
11 #define __XEN_PUBLIC_IO_CONSOLE_H__
13 typedef uint32_t XENCONS_RING_IDX
;
15 #define MASK_XENCONS_IDX(idx, ring) ((idx) & (sizeof(ring)-1))
17 struct xencons_interface
{
20 XENCONS_RING_IDX in_cons
, in_prod
;
21 XENCONS_RING_IDX out_cons
, out_prod
;
24 #ifdef XEN_WANT_FLEX_CONSOLE_RING
26 DEFINE_XEN_FLEX_RING(xencons
);
29 #endif /* __XEN_PUBLIC_IO_CONSOLE_H__ */
37 * indent-tabs-mode: nil