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 13 typedef uint32_t XENCONS_RING_IDX; 14 15 #define MASK_XENCONS_IDX(idx, ring) ((idx) & (sizeof(ring)-1)) 16 17 struct 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