@@ -113,9 +113,9 @@ void memmap_init(uint64_t start, uint64_t end) {
113113 /* clear any existing chunk list */
114114 {
115115 uint32_t flags = 0 ;
116- extern void spin_lock_irqsave (volatile uint32_t * lock ,
117- uint32_t * flagsptr );
118- extern void spin_unlock_irqrestore (volatile uint32_t * lock ,
116+ extern void spin_lock_irqsave (volatile uint32_t * lock ,
117+ uint32_t * flagsptr );
118+ extern void spin_unlock_irqrestore (volatile uint32_t * lock ,
119119 uint32_t flags );
120120 spin_lock_irqsave (& memmap_lock_storage , & flags );
121121 chunk_t * c = chunk_head ;
@@ -148,9 +148,9 @@ void *alloc_frame(void) {
148148 }
149149
150150 uint32_t flags = 0 ;
151- extern void spin_lock_irqsave (volatile uint32_t * lock ,
152- uint32_t * flagsptr );
153- extern void spin_unlock_irqrestore (volatile uint32_t * lock ,
151+ extern void spin_lock_irqsave (volatile uint32_t * lock ,
152+ uint32_t * flagsptr );
153+ extern void spin_unlock_irqrestore (volatile uint32_t * lock ,
154154 uint32_t flags );
155155 spin_lock_irqsave (& memmap_lock_storage , & flags );
156156
@@ -238,9 +238,9 @@ void free_frame(void *addr) {
238238 uint64_t local = idx % fpc ;
239239
240240 uint32_t flags = 0 ;
241- extern void spin_lock_irqsave (volatile uint32_t * lock ,
242- uint32_t * flagsptr );
243- extern void spin_unlock_irqrestore (volatile uint32_t * lock ,
241+ extern void spin_lock_irqsave (volatile uint32_t * lock ,
242+ uint32_t * flagsptr );
243+ extern void spin_unlock_irqrestore (volatile uint32_t * lock ,
244244 uint32_t flags );
245245 spin_lock_irqsave (& memmap_lock_storage , & flags );
246246 chunk_t * c = find_chunk (chi );
@@ -259,9 +259,9 @@ void free_frame(void *addr) {
259259uint64_t frame_count (void ) {
260260 uint64_t f = 0 ;
261261 uint32_t flags = 0 ;
262- extern void spin_lock_irqsave (volatile uint32_t * lock ,
263- uint32_t * flagsptr );
264- extern void spin_unlock_irqrestore (volatile uint32_t * lock ,
262+ extern void spin_lock_irqsave (volatile uint32_t * lock ,
263+ uint32_t * flagsptr );
264+ extern void spin_unlock_irqrestore (volatile uint32_t * lock ,
265265 uint32_t flags );
266266 spin_lock_irqsave (& memmap_lock_storage , & flags );
267267 f = memmap .frames ;
@@ -297,9 +297,9 @@ void memmap_reserve(uint64_t start, uint64_t end) {
297297 uint64_t fpc = frames_per_chunk ();
298298
299299 uint32_t flags = 0 ;
300- extern void spin_lock_irqsave (volatile uint32_t * lock ,
301- uint32_t * flagsptr );
302- extern void spin_unlock_irqrestore (volatile uint32_t * lock ,
300+ extern void spin_lock_irqsave (volatile uint32_t * lock ,
301+ uint32_t * flagsptr );
302+ extern void spin_unlock_irqrestore (volatile uint32_t * lock ,
303303 uint32_t flags );
304304 spin_lock_irqsave (& memmap_lock_storage , & flags );
305305 for (uint64_t idx = s ; idx < e ; ++ idx ) {
0 commit comments