add gpio led uart

hc

2024-05-10 748e4f3d702def1a4bff191e0cf93b6a05340f01

 kernel/arch/x86/xen/pmu.h
..
..
@@ -4,6 +4,8 @@
4
4
 
5
5
 #include <xen/interface/xenpmu.h>
6
6
 
7
+extern bool is_xen_pmu;
8
+
7
9
 irqreturn_t xen_pmu_irq_handler(int irq, void *dev_id);
8
10
 #ifdef CONFIG_XEN_HAVE_VPMU
9
11
 void xen_pmu_init(int cpu);
..
..
@@ -12,7 +14,6 @@
12
14
 static inline void xen_pmu_init(int cpu) {}
13
15
 static inline void xen_pmu_finish(int cpu) {}
14
16
 #endif
15
-bool is_xen_pmu(int cpu);
16
17
 bool pmu_msr_read(unsigned int msr, uint64_t *val, int *err);
17
18
 bool pmu_msr_write(unsigned int msr, uint32_t low, uint32_t high, int *err);
18
19
 int pmu_apic_update(uint32_t reg);