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/include/xen/interface/memory.h |    6 ------
 1 files changed, 0 insertions(+), 6 deletions(-)

diff --git a/kernel/include/xen/interface/memory.h b/kernel/include/xen/interface/memory.h
index 4c5751c..4470048 100644
--- a/kernel/include/xen/interface/memory.h
+++ b/kernel/include/xen/interface/memory.h
@@ -245,12 +245,6 @@
 
 
 /*
- * Prevent the balloon driver from changing the memory reservation
- * during a driver critical region.
- */
-extern spinlock_t xen_reservation_lock;
-
-/*
  * Unmaps the page appearing at a particular GPFN from the specified guest's
  * pseudophysical address space.
  * arg == addr of xen_remove_from_physmap_t.

--
Gitblit v1.6.2