1/* SPDX-License-Identifier: GPL-2.0 */ 2/****************************************************************************** 3 * console.h 4 * 5 * Console I/O interface for Xen guest OSes. 6 * 7 * Copyright (c) 2005, Keir Fraser 8 */ 9 10#ifndef __XEN_PUBLIC_IO_CONSOLE_H__ 11#define __XEN_PUBLIC_IO_CONSOLE_H__ 12 13typedef uint32_t XENCONS_RING_IDX; 14 15#define MASK_XENCONS_IDX(idx, ring) ((idx) & (sizeof(ring)-1)) 16 17struct xencons_interface { 18 char in[1024]; 19 char out[2048]; 20 XENCONS_RING_IDX in_cons, in_prod; 21 XENCONS_RING_IDX out_cons, out_prod; 22}; 23 24#endif /* __XEN_PUBLIC_IO_CONSOLE_H__ */ 25