1 // Physical memory allocator, intended to allocate
2 // memory for user processes, kernel stacks, page table pages,
3 // and pipe buffers. Allocates 4096-byte pages.
12 void freerange(void *vstart
, void *vend
);
13 extern char end
[]; // first address after kernel loaded from ELF file
25 // Initialization happens in two phases.
26 // 1. main() calls kinit1() while still using entrypgdir to place just
27 // the pages mapped by entrypgdir on free list.
28 // 2. main() calls kinit2() with the rest of the physical pages
29 // after installing a full page table that maps them on all cores.
31 kinit1(void *vstart
, void *vend
)
33 initlock(&kmem
.lock
, "kmem");
35 freerange(vstart
, vend
);
39 kinit2(void *vstart
, void *vend
)
41 freerange(vstart
, vend
);
46 freerange(void *vstart
, void *vend
)
49 p
= (char*)PGROUNDUP((uint
)vstart
);
50 for(; p
+ PGSIZE
<= (char*)vend
; p
+= PGSIZE
)
55 // Free the page of physical memory pointed at by v,
56 // which normally should have been returned by a
57 // call to kalloc(). (The exception is when
58 // initializing the allocator; see kinit above.)
64 if((uint
)v
% PGSIZE
|| v
< end
|| v2p(v
) >= PHYSTOP
)
67 // Fill with junk to catch dangling refs.
73 r
->next
= kmem
.freelist
;
79 // Allocate one 4096-byte page of physical memory.
80 // Returns a pointer that the kernel can use.
81 // Returns 0 if the memory cannot be allocated.
91 kmem
.freelist
= r
->next
;