diff options
author | Juan Manuel Tomás <jtomas1815@gmail.com> | 2020-04-07 21:01:15 -0300 |
---|---|---|
committer | Juan Manuel Tomás <jtomas1815@gmail.com> | 2020-04-07 21:01:15 -0300 |
commit | 604baff163d34db001c8c6c293a065691bd4a3f0 (patch) | |
tree | 543298b6adadef895faaafc91b110b05ed75b00e /page.c | |
parent | 1939bdea53948f22fe3afa62d5bc731400c6ee0a (diff) | |
download | jet-604baff163d34db001c8c6c293a065691bd4a3f0.tar.gz jet-604baff163d34db001c8c6c293a065691bd4a3f0.zip |
Change delete_page to free_page
Diffstat (limited to 'page.c')
-rw-r--r-- | page.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -42,7 +42,7 @@ void split_page(struct page *first_half) { first_half->next = second_half; } -void delete_page(struct page *page) { +void free_page(struct page *page) { if (page->next) { page->next->prev = page->prev; } |