| /* SPDX-License-Identifier: MIT */ |
| /* |
| * ioreq.h: I/O request definitions for device models |
| * Copyright (c) 2004, Intel Corporation. |
| */ |
| |
| #ifndef __XEN_PUBLIC_HVM_IOREQ_H__ |
| #define __XEN_PUBLIC_HVM_IOREQ_H__ |
| |
| #define IOREQ_READ 1 |
| #define IOREQ_WRITE 0 |
| |
| #define STATE_IOREQ_NONE 0 |
| #define STATE_IOREQ_READY 1 |
| #define STATE_IOREQ_INPROCESS 2 |
| #define STATE_IORESP_READY 3 |
| |
| #define IOREQ_TYPE_PIO 0 /* pio */ |
| #define IOREQ_TYPE_COPY 1 /* mmio ops */ |
| #define IOREQ_TYPE_PCI_CONFIG 2 |
| #define IOREQ_TYPE_TIMEOFFSET 7 |
| #define IOREQ_TYPE_INVALIDATE 8 /* mapcache */ |
| |
| /* |
| * VMExit dispatcher should cooperate with instruction decoder to |
| * prepare this structure and notify service OS and DM by sending |
| * virq. |
| * |
| * For I/O type IOREQ_TYPE_PCI_CONFIG, the physical address is formatted |
| * as follows: |
| * |
| * 63....48|47..40|39..35|34..32|31........0 |
| * SEGMENT |BUS |DEV |FN |OFFSET |
| */ |
| struct ioreq { |
| uint64_t addr; /* physical address */ |
| uint64_t data; /* data (or paddr of data) */ |
| uint32_t count; /* for rep prefixes */ |
| uint32_t size; /* size in bytes */ |
| uint32_t vp_eport; /* evtchn for notifications to/from device model */ |
| uint16_t _pad0; |
| uint8_t state:4; |
| uint8_t data_is_ptr:1; /* if 1, data above is the guest paddr |
| * of the real data to use. */ |
| uint8_t dir:1; /* 1=read, 0=write */ |
| uint8_t df:1; |
| uint8_t _pad1:1; |
| uint8_t type; /* I/O type */ |
| }; |
| |
| #endif /* __XEN_PUBLIC_HVM_IOREQ_H__ */ |