18 lines
361 B
C
18 lines
361 B
C
/*
|
|
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
|