mirror of
https://github.com/brain-hackers/u-boot-brain
synced 2024-09-13 00:03:26 +09:00
![Oleksandr Andrushchenko](/assets/img/avatar_default.png)
Add essential and required Xen interface headers only taken from the stable Linux kernel stable/linux-5.7.y at commit 66dfe4522160 Linux 5.7.5. These are better suited for U-boot than the original headers from Xen as they are the stripped versions of the same. At the same time use public protocols from Xen RELEASE-4.13.1, at commit 6278553325a9 update Xen version to 4.13.1 as those have more comments in them. Signed-off-by: Oleksandr Andrushchenko <oleksandr_andrushchenko@epam.com> Signed-off-by: Anastasiia Lukianenko <anastasiia_lukianenko@epam.com> Acked-by: Peng Fan <peng.fan@nxp.com>
280 lines
7.3 KiB
C
280 lines
7.3 KiB
C
/* SPDX-License-Identifier: GPL-2.0
|
|
*
|
|
* event_channel.h
|
|
*
|
|
* Event channels between domains.
|
|
*
|
|
* Copyright (c) 2003-2004, K A Fraser.
|
|
*/
|
|
|
|
#ifndef __XEN_PUBLIC_EVENT_CHANNEL_H__
|
|
#define __XEN_PUBLIC_EVENT_CHANNEL_H__
|
|
|
|
#include <xen/interface/xen.h>
|
|
|
|
typedef u32 evtchn_port_t;
|
|
DEFINE_GUEST_HANDLE(evtchn_port_t);
|
|
|
|
/*
|
|
* EVTCHNOP_alloc_unbound: Allocate a port in domain <dom> and mark as
|
|
* accepting interdomain bindings from domain <remote_dom>. A fresh port
|
|
* is allocated in <dom> and returned as <port>.
|
|
* NOTES:
|
|
* 1. If the caller is unprivileged then <dom> must be DOMID_SELF.
|
|
* 2. <rdom> may be DOMID_SELF, allowing loopback connections.
|
|
*/
|
|
#define EVTCHNOP_alloc_unbound 6
|
|
struct evtchn_alloc_unbound {
|
|
/* IN parameters */
|
|
domid_t dom, remote_dom;
|
|
/* OUT parameters */
|
|
evtchn_port_t port;
|
|
};
|
|
|
|
/*
|
|
* EVTCHNOP_bind_interdomain: Construct an interdomain event channel between
|
|
* the calling domain and <remote_dom>. <remote_dom,remote_port> must identify
|
|
* a port that is unbound and marked as accepting bindings from the calling
|
|
* domain. A fresh port is allocated in the calling domain and returned as
|
|
* <local_port>.
|
|
* NOTES:
|
|
* 2. <remote_dom> may be DOMID_SELF, allowing loopback connections.
|
|
*/
|
|
#define EVTCHNOP_bind_interdomain 0
|
|
struct evtchn_bind_interdomain {
|
|
/* IN parameters. */
|
|
domid_t remote_dom;
|
|
evtchn_port_t remote_port;
|
|
/* OUT parameters. */
|
|
evtchn_port_t local_port;
|
|
};
|
|
|
|
/*
|
|
* EVTCHNOP_bind_virq: Bind a local event channel to VIRQ <irq> on specified
|
|
* vcpu.
|
|
* NOTES:
|
|
* 1. A virtual IRQ may be bound to at most one event channel per vcpu.
|
|
* 2. The allocated event channel is bound to the specified vcpu. The binding
|
|
* may not be changed.
|
|
*/
|
|
#define EVTCHNOP_bind_virq 1
|
|
struct evtchn_bind_virq {
|
|
/* IN parameters. */
|
|
u32 virq;
|
|
u32 vcpu;
|
|
/* OUT parameters. */
|
|
evtchn_port_t port;
|
|
};
|
|
|
|
/*
|
|
* EVTCHNOP_bind_pirq: Bind a local event channel to PIRQ <irq>.
|
|
* NOTES:
|
|
* 1. A physical IRQ may be bound to at most one event channel per domain.
|
|
* 2. Only a sufficiently-privileged domain may bind to a physical IRQ.
|
|
*/
|
|
#define EVTCHNOP_bind_pirq 2
|
|
struct evtchn_bind_pirq {
|
|
/* IN parameters. */
|
|
u32 pirq;
|
|
#define BIND_PIRQ__WILL_SHARE 1
|
|
u32 flags; /* BIND_PIRQ__* */
|
|
/* OUT parameters. */
|
|
evtchn_port_t port;
|
|
};
|
|
|
|
/*
|
|
* EVTCHNOP_bind_ipi: Bind a local event channel to receive events.
|
|
* NOTES:
|
|
* 1. The allocated event channel is bound to the specified vcpu. The binding
|
|
* may not be changed.
|
|
*/
|
|
#define EVTCHNOP_bind_ipi 7
|
|
struct evtchn_bind_ipi {
|
|
u32 vcpu;
|
|
/* OUT parameters. */
|
|
evtchn_port_t port;
|
|
};
|
|
|
|
/*
|
|
* EVTCHNOP_close: Close a local event channel <port>. If the channel is
|
|
* interdomain then the remote end is placed in the unbound state
|
|
* (EVTCHNSTAT_unbound), awaiting a new connection.
|
|
*/
|
|
#define EVTCHNOP_close 3
|
|
struct evtchn_close {
|
|
/* IN parameters. */
|
|
evtchn_port_t port;
|
|
};
|
|
|
|
/*
|
|
* EVTCHNOP_send: Send an event to the remote end of the channel whose local
|
|
* endpoint is <port>.
|
|
*/
|
|
#define EVTCHNOP_send 4
|
|
struct evtchn_send {
|
|
/* IN parameters. */
|
|
evtchn_port_t port;
|
|
};
|
|
|
|
/*
|
|
* EVTCHNOP_status: Get the current status of the communication channel which
|
|
* has an endpoint at <dom, port>.
|
|
* NOTES:
|
|
* 1. <dom> may be specified as DOMID_SELF.
|
|
* 2. Only a sufficiently-privileged domain may obtain the status of an event
|
|
* channel for which <dom> is not DOMID_SELF.
|
|
*/
|
|
#define EVTCHNOP_status 5
|
|
struct evtchn_status {
|
|
/* IN parameters */
|
|
domid_t dom;
|
|
evtchn_port_t port;
|
|
/* OUT parameters */
|
|
#define EVTCHNSTAT_closed 0 /* Channel is not in use. */
|
|
#define EVTCHNSTAT_unbound 1 /* Channel is waiting interdom connection.*/
|
|
#define EVTCHNSTAT_interdomain 2 /* Channel is connected to remote domain. */
|
|
#define EVTCHNSTAT_pirq 3 /* Channel is bound to a phys IRQ line. */
|
|
#define EVTCHNSTAT_virq 4 /* Channel is bound to a virtual IRQ line */
|
|
#define EVTCHNSTAT_ipi 5 /* Channel is bound to a virtual IPI line */
|
|
u32 status;
|
|
u32 vcpu; /* VCPU to which this channel is bound. */
|
|
union {
|
|
struct {
|
|
domid_t dom;
|
|
} unbound; /* EVTCHNSTAT_unbound */
|
|
struct {
|
|
domid_t dom;
|
|
evtchn_port_t port;
|
|
} interdomain; /* EVTCHNSTAT_interdomain */
|
|
u32 pirq; /* EVTCHNSTAT_pirq */
|
|
u32 virq; /* EVTCHNSTAT_virq */
|
|
} u;
|
|
};
|
|
|
|
/*
|
|
* EVTCHNOP_bind_vcpu: Specify which vcpu a channel should notify when an
|
|
* event is pending.
|
|
* NOTES:
|
|
* 1. IPI- and VIRQ-bound channels always notify the vcpu that initialised
|
|
* the binding. This binding cannot be changed.
|
|
* 2. All other channels notify vcpu0 by default. This default is set when
|
|
* the channel is allocated (a port that is freed and subsequently reused
|
|
* has its binding reset to vcpu0).
|
|
*/
|
|
#define EVTCHNOP_bind_vcpu 8
|
|
struct evtchn_bind_vcpu {
|
|
/* IN parameters. */
|
|
evtchn_port_t port;
|
|
u32 vcpu;
|
|
};
|
|
|
|
/*
|
|
* EVTCHNOP_unmask: Unmask the specified local event-channel port and deliver
|
|
* a notification to the appropriate VCPU if an event is pending.
|
|
*/
|
|
#define EVTCHNOP_unmask 9
|
|
struct evtchn_unmask {
|
|
/* IN parameters. */
|
|
evtchn_port_t port;
|
|
};
|
|
|
|
/*
|
|
* EVTCHNOP_reset: Close all event channels associated with specified domain.
|
|
* NOTES:
|
|
* 1. <dom> may be specified as DOMID_SELF.
|
|
* 2. Only a sufficiently-privileged domain may specify other than DOMID_SELF.
|
|
*/
|
|
#define EVTCHNOP_reset 10
|
|
struct evtchn_reset {
|
|
/* IN parameters. */
|
|
domid_t dom;
|
|
};
|
|
|
|
/*
|
|
* EVTCHNOP_init_control: initialize the control block for the FIFO ABI.
|
|
*/
|
|
#define EVTCHNOP_init_control 11
|
|
struct evtchn_init_control {
|
|
/* IN parameters. */
|
|
u64 control_gfn;
|
|
u32 offset;
|
|
u32 vcpu;
|
|
/* OUT parameters. */
|
|
u8 link_bits;
|
|
u8 _pad[7];
|
|
};
|
|
|
|
/*
|
|
* EVTCHNOP_expand_array: add an additional page to the event array.
|
|
*/
|
|
#define EVTCHNOP_expand_array 12
|
|
struct evtchn_expand_array {
|
|
/* IN parameters. */
|
|
u64 array_gfn;
|
|
};
|
|
|
|
/*
|
|
* EVTCHNOP_set_priority: set the priority for an event channel.
|
|
*/
|
|
#define EVTCHNOP_set_priority 13
|
|
struct evtchn_set_priority {
|
|
/* IN parameters. */
|
|
evtchn_port_t port;
|
|
u32 priority;
|
|
};
|
|
|
|
struct evtchn_op {
|
|
u32 cmd; /* EVTCHNOP_* */
|
|
union {
|
|
struct evtchn_alloc_unbound alloc_unbound;
|
|
struct evtchn_bind_interdomain bind_interdomain;
|
|
struct evtchn_bind_virq bind_virq;
|
|
struct evtchn_bind_pirq bind_pirq;
|
|
struct evtchn_bind_ipi bind_ipi;
|
|
struct evtchn_close close;
|
|
struct evtchn_send send;
|
|
struct evtchn_status status;
|
|
struct evtchn_bind_vcpu bind_vcpu;
|
|
struct evtchn_unmask unmask;
|
|
} u;
|
|
};
|
|
|
|
DEFINE_GUEST_HANDLE_STRUCT(evtchn_op);
|
|
|
|
/*
|
|
* 2-level ABI
|
|
*/
|
|
|
|
#define EVTCHN_2L_NR_CHANNELS (sizeof(xen_ulong_t) * sizeof(xen_ulong_t) * 64)
|
|
|
|
/*
|
|
* FIFO ABI
|
|
*/
|
|
|
|
/* Events may have priorities from 0 (highest) to 15 (lowest). */
|
|
#define EVTCHN_FIFO_PRIORITY_MAX 0
|
|
#define EVTCHN_FIFO_PRIORITY_DEFAULT 7
|
|
#define EVTCHN_FIFO_PRIORITY_MIN 15
|
|
|
|
#define EVTCHN_FIFO_MAX_QUEUES (EVTCHN_FIFO_PRIORITY_MIN + 1)
|
|
|
|
typedef u32 event_word_t;
|
|
|
|
#define EVTCHN_FIFO_PENDING 31
|
|
#define EVTCHN_FIFO_MASKED 30
|
|
#define EVTCHN_FIFO_LINKED 29
|
|
#define EVTCHN_FIFO_BUSY 28
|
|
|
|
#define EVTCHN_FIFO_LINK_BITS 17
|
|
#define EVTCHN_FIFO_LINK_MASK ((1 << EVTCHN_FIFO_LINK_BITS) - 1)
|
|
|
|
#define EVTCHN_FIFO_NR_CHANNELS (1 << EVTCHN_FIFO_LINK_BITS)
|
|
|
|
struct evtchn_fifo_control_block {
|
|
u32 ready;
|
|
u32 _rsvd;
|
|
event_word_t head[EVTCHN_FIFO_MAX_QUEUES];
|
|
};
|
|
|
|
#endif /* __XEN_PUBLIC_EVENT_CHANNEL_H__ */
|