修改led为gpio

hc

2024-10-12 a5969cabbb4660eab42b6ef0412cbbd1200cf14d

 kernel/arch/x86/include/asm/vgtod.h
..
..
@@ -12,17 +12,13 @@
12
12
 #include <vdso/datapage.h>
13
13
 #include <vdso/helpers.h>
14
14
 
15
+#include <uapi/linux/time.h>
16
+
15
17
 #ifdef BUILD_VDSO32_64
16
18
 typedef u64 gtod_long_t;
17
19
 #else
18
20
 typedef unsigned long gtod_long_t;
19
21
 #endif
20
22
 #endif /* CONFIG_GENERIC_GETTIMEOFDAY */
21
-
22
-extern int vclocks_used;
23
-static inline bool vclock_was_used(int vclock)
24
-{
25
-	return READ_ONCE(vclocks_used) & (1 << vclock);
26
-}
27
23
 
28
24
 #endif /* _ASM_X86_VGTOD_H */