kernel/mm/pagecache.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

#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;
}

#ifdef NO
void pagecache_newsource(pframe_t pf, blockdev_t *dev, long loc) {
   pf->pf_srcdev.pf_dev = dev; 
   pf->pf_loc = loc;
}
#endif