uint32_t leading_shifts = \
(page_count + offset) < 8 ? page_count : 8 - offset;
-uint8_t pm_bitmap[PM_BMP_MAX_SIZE];
+static uint8_t pm_bitmap[PM_BMP_MAX_SIZE];
-uintptr_t max_pg;
+static uintptr_t max_pg;
// ... |xxxx xxxx |
// ... |-->|
int
pmm_free_page(void* page)
{
- // TODO: Add kernel reserved memory page check
+ // XXX: Add kernel reserved memory page check or simply ownership check?
uint32_t pg = (uintptr_t)page >> 12;
if (pg && pg < max_pg)
{