1 /* SPDX-License-Identifier: GPL-2.0 */
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 #endif /* __XEN_PUBLIC_IO_CONSOLE_H__ */