summaryrefslogtreecommitdiff
path: root/page.c
diff options
context:
space:
mode:
authorJuan Manuel Tomás <jtomas1815@gmail.com>2020-04-07 21:01:15 -0300
committerJuan Manuel Tomás <jtomas1815@gmail.com>2020-04-07 21:01:15 -0300
commit604baff163d34db001c8c6c293a065691bd4a3f0 (patch)
tree543298b6adadef895faaafc91b110b05ed75b00e /page.c
parent1939bdea53948f22fe3afa62d5bc731400c6ee0a (diff)
downloadjet-604baff163d34db001c8c6c293a065691bd4a3f0.tar.gz
jet-604baff163d34db001c8c6c293a065691bd4a3f0.zip
Change delete_page to free_page
Diffstat (limited to 'page.c')
-rw-r--r--page.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/page.c b/page.c
index adc5797..a41f2d5 100644
--- a/page.c
+++ b/page.c
@@ -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;
}