ioreq_port
struct ioreq_port ports[] __counted_by(vcpus);
struct ioreq_port *port = dev_id;
struct ioreq_port *ports = kioreq->ports;