add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/include/xen/events.h
..
..
@@ -21,9 +21,9 @@
21
21
 			      unsigned long irqflags, const char *devname,
22
22
 			      void *dev_id);
23
23
 int bind_evtchn_to_irqhandler_lateeoi(evtchn_port_t evtchn,
24
-				      irq_handler_t handler,
25
-				      unsigned long irqflags, const char *devname,
26
-				      void *dev_id);
24
+			      irq_handler_t handler,
25
+			      unsigned long irqflags, const char *devname,
26
+			      void *dev_id);
27
27
 int bind_virq_to_irq(unsigned int virq, unsigned int cpu, bool percpu);
28
28
 int bind_virq_to_irqhandler(unsigned int virq, unsigned int cpu,
29
29
 			    irq_handler_t handler,
..
..
@@ -35,16 +35,8 @@
35
35
 			   unsigned long irqflags,
36
36
 			   const char *devname,
37
37
 			   void *dev_id);
38
-int bind_interdomain_evtchn_to_irq(unsigned int remote_domain,
39
-				   evtchn_port_t remote_port);
40
38
 int bind_interdomain_evtchn_to_irq_lateeoi(unsigned int remote_domain,
41
39
 					   evtchn_port_t remote_port);
42
-int bind_interdomain_evtchn_to_irqhandler(unsigned int remote_domain,
43
-					  evtchn_port_t remote_port,
44
-					  irq_handler_t handler,
45
-					  unsigned long irqflags,
46
-					  const char *devname,
47
-					  void *dev_id);
48
40
 int bind_interdomain_evtchn_to_irqhandler_lateeoi(unsigned int remote_domain,
49
41
 						  evtchn_port_t remote_port,
50
42
 						  irq_handler_t handler,
..
..
@@ -75,15 +67,15 @@
75
67
 /*
76
68
  * Allow extra references to event channels exposed to userspace by evtchn
77
69
  */
78
-int evtchn_make_refcounted(unsigned int evtchn);
79
-int evtchn_get(unsigned int evtchn);
80
-void evtchn_put(unsigned int evtchn);
70
+int evtchn_make_refcounted(evtchn_port_t evtchn);
71
+int evtchn_get(evtchn_port_t evtchn);
72
+void evtchn_put(evtchn_port_t evtchn);
81
73
 
82
74
 void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector);
83
-void rebind_evtchn_irq(int evtchn, int irq);
75
+void rebind_evtchn_irq(evtchn_port_t evtchn, int irq);
84
76
 int xen_set_affinity_evtchn(struct irq_desc *desc, unsigned int tcpu);
85
77
 
86
-static inline void notify_remote_via_evtchn(int port)
78
+static inline void notify_remote_via_evtchn(evtchn_port_t port)
87
79
 {
88
80
 	struct evtchn_send send = { .port = port };
89
81
 	(void)HYPERVISOR_event_channel_op(EVTCHNOP_send, &send);
..
..
@@ -107,15 +99,10 @@
107
99
 void xen_poll_irq_timeout(int irq, u64 timeout);
108
100
 
109
101
 /* Determine the IRQ which is bound to an event channel */
110
-unsigned irq_from_evtchn(unsigned int evtchn);
102
+unsigned int irq_from_evtchn(evtchn_port_t evtchn);
111
103
 int irq_from_virq(unsigned int cpu, unsigned int virq);
112
-unsigned int evtchn_from_irq(unsigned irq);
104
+evtchn_port_t evtchn_from_irq(unsigned irq);
113
105
 
114
-/* Xen HVM evtchn vector callback */
115
-void xen_hvm_callback_vector(void);
116
-#ifdef CONFIG_TRACING
117
-#define trace_xen_hvm_callback_vector xen_hvm_callback_vector
118
-#endif
119
106
 int xen_set_callback_via(uint64_t via);
120
107
 void xen_evtchn_do_upcall(struct pt_regs *regs);
121
108
 void xen_hvm_evtchn_do_upcall(void);