enable wifi gpio

hc

2023-11-07 f45e756958099c35d6afb746df1d40a1c6302cfc

 kernel/kernel/time/timekeeping.h
..
..
@@ -25,7 +25,8 @@
25
25
 extern void do_timer(unsigned long ticks);
26
26
 extern void update_wall_time(void);
27
27
 
28
-extern seqlock_t jiffies_lock;
28
+extern raw_spinlock_t jiffies_lock;
29
+extern seqcount_t jiffies_seq;
29
30
 
30
31
 #define CS_NAME_LEN	32
31
32