18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-or-later */
28c2ecf20Sopenharmony_ci/*
38c2ecf20Sopenharmony_ci * Xen Event Channels (internal header)
48c2ecf20Sopenharmony_ci *
58c2ecf20Sopenharmony_ci * Copyright (C) 2013 Citrix Systems R&D Ltd.
68c2ecf20Sopenharmony_ci */
78c2ecf20Sopenharmony_ci#ifndef __EVENTS_INTERNAL_H__
88c2ecf20Sopenharmony_ci#define __EVENTS_INTERNAL_H__
98c2ecf20Sopenharmony_ci
108c2ecf20Sopenharmony_cistruct evtchn_loop_ctrl;
118c2ecf20Sopenharmony_ci
128c2ecf20Sopenharmony_cistruct evtchn_ops {
138c2ecf20Sopenharmony_ci	unsigned (*max_channels)(void);
148c2ecf20Sopenharmony_ci	unsigned (*nr_channels)(void);
158c2ecf20Sopenharmony_ci
168c2ecf20Sopenharmony_ci	int (*setup)(evtchn_port_t port);
178c2ecf20Sopenharmony_ci	void (*remove)(evtchn_port_t port, unsigned int cpu);
188c2ecf20Sopenharmony_ci	void (*bind_to_cpu)(evtchn_port_t evtchn, unsigned int cpu,
198c2ecf20Sopenharmony_ci			    unsigned int old_cpu);
208c2ecf20Sopenharmony_ci
218c2ecf20Sopenharmony_ci	void (*clear_pending)(evtchn_port_t port);
228c2ecf20Sopenharmony_ci	void (*set_pending)(evtchn_port_t port);
238c2ecf20Sopenharmony_ci	bool (*is_pending)(evtchn_port_t port);
248c2ecf20Sopenharmony_ci	void (*mask)(evtchn_port_t port);
258c2ecf20Sopenharmony_ci	void (*unmask)(evtchn_port_t port);
268c2ecf20Sopenharmony_ci
278c2ecf20Sopenharmony_ci	void (*handle_events)(unsigned cpu, struct evtchn_loop_ctrl *ctrl);
288c2ecf20Sopenharmony_ci	void (*resume)(void);
298c2ecf20Sopenharmony_ci
308c2ecf20Sopenharmony_ci	int (*percpu_init)(unsigned int cpu);
318c2ecf20Sopenharmony_ci	int (*percpu_deinit)(unsigned int cpu);
328c2ecf20Sopenharmony_ci};
338c2ecf20Sopenharmony_ci
348c2ecf20Sopenharmony_ciextern const struct evtchn_ops *evtchn_ops;
358c2ecf20Sopenharmony_ci
368c2ecf20Sopenharmony_ciint get_evtchn_to_irq(evtchn_port_t evtchn);
378c2ecf20Sopenharmony_civoid handle_irq_for_port(evtchn_port_t port, struct evtchn_loop_ctrl *ctrl);
388c2ecf20Sopenharmony_ci
398c2ecf20Sopenharmony_ciunsigned int cpu_from_evtchn(evtchn_port_t evtchn);
408c2ecf20Sopenharmony_ci
418c2ecf20Sopenharmony_cistatic inline unsigned xen_evtchn_max_channels(void)
428c2ecf20Sopenharmony_ci{
438c2ecf20Sopenharmony_ci	return evtchn_ops->max_channels();
448c2ecf20Sopenharmony_ci}
458c2ecf20Sopenharmony_ci
468c2ecf20Sopenharmony_ci/*
478c2ecf20Sopenharmony_ci * Do any ABI specific setup for a bound event channel before it can
488c2ecf20Sopenharmony_ci * be unmasked and used.
498c2ecf20Sopenharmony_ci */
508c2ecf20Sopenharmony_cistatic inline int xen_evtchn_port_setup(evtchn_port_t evtchn)
518c2ecf20Sopenharmony_ci{
528c2ecf20Sopenharmony_ci	if (evtchn_ops->setup)
538c2ecf20Sopenharmony_ci		return evtchn_ops->setup(evtchn);
548c2ecf20Sopenharmony_ci	return 0;
558c2ecf20Sopenharmony_ci}
568c2ecf20Sopenharmony_ci
578c2ecf20Sopenharmony_cistatic inline void xen_evtchn_port_remove(evtchn_port_t evtchn,
588c2ecf20Sopenharmony_ci					  unsigned int cpu)
598c2ecf20Sopenharmony_ci{
608c2ecf20Sopenharmony_ci	if (evtchn_ops->remove)
618c2ecf20Sopenharmony_ci		evtchn_ops->remove(evtchn, cpu);
628c2ecf20Sopenharmony_ci}
638c2ecf20Sopenharmony_ci
648c2ecf20Sopenharmony_cistatic inline void xen_evtchn_port_bind_to_cpu(evtchn_port_t evtchn,
658c2ecf20Sopenharmony_ci					       unsigned int cpu,
668c2ecf20Sopenharmony_ci					       unsigned int old_cpu)
678c2ecf20Sopenharmony_ci{
688c2ecf20Sopenharmony_ci	evtchn_ops->bind_to_cpu(evtchn, cpu, old_cpu);
698c2ecf20Sopenharmony_ci}
708c2ecf20Sopenharmony_ci
718c2ecf20Sopenharmony_cistatic inline void clear_evtchn(evtchn_port_t port)
728c2ecf20Sopenharmony_ci{
738c2ecf20Sopenharmony_ci	evtchn_ops->clear_pending(port);
748c2ecf20Sopenharmony_ci}
758c2ecf20Sopenharmony_ci
768c2ecf20Sopenharmony_cistatic inline void set_evtchn(evtchn_port_t port)
778c2ecf20Sopenharmony_ci{
788c2ecf20Sopenharmony_ci	evtchn_ops->set_pending(port);
798c2ecf20Sopenharmony_ci}
808c2ecf20Sopenharmony_ci
818c2ecf20Sopenharmony_cistatic inline bool test_evtchn(evtchn_port_t port)
828c2ecf20Sopenharmony_ci{
838c2ecf20Sopenharmony_ci	return evtchn_ops->is_pending(port);
848c2ecf20Sopenharmony_ci}
858c2ecf20Sopenharmony_ci
868c2ecf20Sopenharmony_cistatic inline void mask_evtchn(evtchn_port_t port)
878c2ecf20Sopenharmony_ci{
888c2ecf20Sopenharmony_ci	return evtchn_ops->mask(port);
898c2ecf20Sopenharmony_ci}
908c2ecf20Sopenharmony_ci
918c2ecf20Sopenharmony_cistatic inline void unmask_evtchn(evtchn_port_t port)
928c2ecf20Sopenharmony_ci{
938c2ecf20Sopenharmony_ci	return evtchn_ops->unmask(port);
948c2ecf20Sopenharmony_ci}
958c2ecf20Sopenharmony_ci
968c2ecf20Sopenharmony_cistatic inline void xen_evtchn_handle_events(unsigned cpu,
978c2ecf20Sopenharmony_ci					    struct evtchn_loop_ctrl *ctrl)
988c2ecf20Sopenharmony_ci{
998c2ecf20Sopenharmony_ci	return evtchn_ops->handle_events(cpu, ctrl);
1008c2ecf20Sopenharmony_ci}
1018c2ecf20Sopenharmony_ci
1028c2ecf20Sopenharmony_cistatic inline void xen_evtchn_resume(void)
1038c2ecf20Sopenharmony_ci{
1048c2ecf20Sopenharmony_ci	if (evtchn_ops->resume)
1058c2ecf20Sopenharmony_ci		evtchn_ops->resume();
1068c2ecf20Sopenharmony_ci}
1078c2ecf20Sopenharmony_ci
1088c2ecf20Sopenharmony_civoid xen_evtchn_2l_init(void);
1098c2ecf20Sopenharmony_ciint xen_evtchn_fifo_init(void);
1108c2ecf20Sopenharmony_ci
1118c2ecf20Sopenharmony_ci#endif /* #ifndef __EVENTS_INTERNAL_H__ */
112