From 748e4f3d702def1a4bff191e0cf93b6a05340f01 Mon Sep 17 00:00:00 2001
From: hc <hc@nodka.com>
Date: Fri, 10 May 2024 07:41:34 +0000
Subject: [PATCH] add gpio led uart

---
 kernel/arch/arm/include/asm/system_misc.h |    7 -------
 1 files changed, 0 insertions(+), 7 deletions(-)

diff --git a/kernel/arch/arm/include/asm/system_misc.h b/kernel/arch/arm/include/asm/system_misc.h
index 8a0040f..98b3734 100644
--- a/kernel/arch/arm/include/asm/system_misc.h
+++ b/kernel/arch/arm/include/asm/system_misc.h
@@ -13,7 +13,6 @@
 extern void cpu_init(void);
 
 void soft_restart(unsigned long);
-extern void (*arm_pm_restart)(enum reboot_mode reboot_mode, const char *cmd);
 extern void (*arm_pm_idle)(void);
 
 #ifdef CONFIG_HARDEN_BRANCH_PREDICTOR
@@ -37,12 +36,6 @@
 #define UDBG_BUS	(1 << 4)
 
 extern unsigned int user_debug;
-extern char* (*arch_read_hardware_id)(void);
-
-static inline int handle_guest_sea(phys_addr_t addr, unsigned int esr)
-{
-	return -1;
-}
 
 #endif /* !__ASSEMBLY__ */
 

--
Gitblit v1.6.2