| /* SPDX-License-Identifier: MIT */ |
| /****************************************************************************** |
| * console.h |
| * |
| * Console I/O interface for Xen guest OSes. |
| * |
| * Copyright (c) 2005, Keir Fraser |
| */ |
| |
| #ifndef __XEN_PUBLIC_IO_CONSOLE_H__ |
| #define __XEN_PUBLIC_IO_CONSOLE_H__ |
| |
| typedef uint32_t XENCONS_RING_IDX; |
| |
| #define MASK_XENCONS_IDX(idx, ring) ((idx) & (sizeof(ring)-1)) |
| |
| struct xencons_interface { |
| char in[1024]; |
| char out[2048]; |
| XENCONS_RING_IDX in_cons, in_prod; |
| XENCONS_RING_IDX out_cons, out_prod; |
| }; |
| |
| #endif /* __XEN_PUBLIC_IO_CONSOLE_H__ */ |