fix header

Author: sparchatus

include/mm/pmm.h

@@ -73,6 +73,7 @@ extern void init_pmm(void);
 
 extern frame_t *get_free_frames_cond(free_frames_cond_t cb);
 extern frame_t *get_free_frames(unsigned int order);
+extern frame_t *get_free_frame_norefill(void);
 extern void put_free_frames(mfn_t mfn, unsigned int order);
 extern void reclaim_frame(mfn_t mfn, unsigned int order);
 
@@ -84,6 +85,7 @@ extern frame_t *find_busy_paddr_frame(paddr_t paddr);
 extern frame_t *find_paddr_frame(paddr_t paddr);
 
 extern void map_frames_array(void);
+extern void refill_from_paging(void);
 
 /* Static definitions */
 
@@ -142,9 +144,6 @@ static inline bool is_frame_free(const frame_t *frame) {
     return frame->flags.free;
 }
 
-void refill_from_paging(void);
-frame_t *get_free_frame_norefill(void);
-
 #endif /* __ASSEMBLY__ */
 
 #endif /* KTF_PMM_H */

mm/pmm.c

@@ -129,7 +129,7 @@ static frames_array_t *_new_frames_array(bool from_paging) {
         /* switch to special refilling mode to avoid deadlock with paging */
         ASSERT(!refilling);
         refilling = true;
-        /* only paging will be allowed to take the lock while refilling */
+        /* only paging will be allowed to take the lock for writing while refilling */
         spin_unlock(&lock);
         array = vmap_frame_refill(mfn_to_virt_map(frame->mfn), frame->mfn, from_paging);
         spin_lock(&lock);