Home
last modified time | relevance | path

Searched refs:evtchn_port_t (Results 1 – 4 of 4) sorted by relevance

/Zephyr-latest/include/zephyr/xen/public/
Devent_channel.h74 typedef uint32_t evtchn_port_t; typedef
75 DEFINE_XEN_GUEST_HANDLE(evtchn_port_t);
89 evtchn_port_t port;
116 evtchn_port_t remote_port;
118 evtchn_port_t local_port;
129 evtchn_port_t port;
139 evtchn_port_t port;
154 evtchn_port_t port;
170 evtchn_port_t port;
184 evtchn_port_t port;
[all …]
Dsched.h142 XEN_GUEST_HANDLE(evtchn_port_t) ports;
/Zephyr-latest/include/zephyr/xen/
Devents.h27 int evtchn_close(evtchn_port_t port);
28 int evtchn_set_priority(evtchn_port_t port, uint32_t priority);
29 void notify_evtchn(evtchn_port_t port);
60 int bind_interdomain_event_channel(domid_t remote_dom, evtchn_port_t remote_port,
71 int bind_event_channel(evtchn_port_t port, evtchn_cb_t cb, void *data);
79 int unbind_event_channel(evtchn_port_t port);
80 int get_missed_events(evtchn_port_t port);
/Zephyr-latest/drivers/xen/
Devents.c68 int bind_interdomain_event_channel(domid_t remote_dom, evtchn_port_t remote_port, in bind_interdomain_event_channel()
95 int evtchn_close(evtchn_port_t port) in evtchn_close()
104 int evtchn_set_priority(evtchn_port_t port, uint32_t priority) in evtchn_set_priority()
114 void notify_evtchn(evtchn_port_t port) in notify_evtchn()
127 int bind_event_channel(evtchn_port_t port, evtchn_cb_t cb, void *data) in bind_event_channel()
146 int unbind_event_channel(evtchn_port_t port) in unbind_event_channel()
159 int get_missed_events(evtchn_port_t port) in get_missed_events()
173 int mask_event_channel(evtchn_port_t port) in mask_event_channel()
187 int unmask_event_channel(evtchn_port_t port) in unmask_event_channel()
200 static void clear_event_channel(evtchn_port_t port) in clear_event_channel()
[all …]