midgard/tabs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Uncomment and update empty mem page prints

Browse source
This commit is contained in:
Maxime Bloch 2020-01-28 22:35:25 +01:00
parent 2064d1a802
commit 831b49d8dd
No known key found for this signature in database
GPG key ID: CE32A7D95B7D6418
1 changed files with 14 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
kernel/memory.c
View file

@ -76,27 +76,17 @@ void print_memory() {
i,
curr_page, sizeof(page_tag),
(curr_page + 1), curr_page->size);
//
// void *empty_start = (void *) curr_page + sizeof(page_tag) + curr_page->size;
// if (empty_start + sizeof(page_tag) < (void *) curr_page->next) {
// terminal_writestring("_: empty_page (");
// terminal_writeint(sizeof(page_tag), 10);
// terminal_writestring(", ");
// terminal_writeint(
// (void *) curr_page->next -
// (empty_start + sizeof(page_tag)), 10);
// terminal_writestring(")\n");
//// printf("empty_page (%ld, %ld)\n",
//// sizeof(page_tag),
//// (void *) curr_page->next -
//// (empty_start + sizeof(page_tag)));
// } else if (empty_start < (void *) curr_page->next) {
// terminal_writestring("_: not enough room (");
// terminal_writeint((void *) curr_page->next - empty_start, 10);
// terminal_writestring(")\n");
//// printf("not enough room (%ld)\n",
//// (void *) curr_page->next - empty_start);
// }
void *empty_start = (void *) curr_page + sizeof(page_tag) + curr_page->size;
if (empty_start + sizeof(page_tag) < (void *) curr_page->next) {
print("_: empty_page (%d, %d)\n",
sizeof(page_tag),
(void *) curr_page->next -
(empty_start + sizeof(page_tag)));
} else if (empty_start < (void *) curr_page->next) {
print("_: not enough room (%d)\n",
(void *) curr_page->next - empty_start);
}
curr_page = curr_page->next;
i += 1;
}