sbosse/basekernel
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Mon 14 Oct 23:06:38 CEST 2024

Browse Source
This commit is contained in:
sbosse 2024-10-14 23:09:16 +02:00
parent 56fdbe77b3
commit 5ff7709d81
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
kernel/page.h Normal file
View File

@ -0,0 +1,17 @@
/*
Copyright (C) 2015-2019 The University of Notre Dame
This software is distributed under the GNU General Public License.
See the file LICENSE for details.
*/
#ifndef PAGE_H
#define PAGE_H
#include "kernel/types.h"
void page_init();
void *page_alloc(bool zeroit);
void page_free(void *addr);
void page_stats( uint32_t *nfree, uint32_t *ntotal );
#endif