kernel/mm/pagecache.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#include "errno.h"
#include "globals.h"
#include "kernel.h"
#include "util/debug.h"

#include "mm/pframe.h"

long pagecache_get_page(pframe_t *pf) {
   if (pf->pf_addr) {
        // all set
        return 1;
   } 
   //Somehow load the page
   KASSERT(0 && "page not in pagecache");
   return 0;
}