Files
MIT6.828_OS/lab/lib/pageref.c
2019-07-11 19:40:12 +08:00

15 lines
192 B
C

#include <inc/lib.h>
int
pageref(void *v)
{
pte_t pte;
if (!(uvpd[PDX(v)] & PTE_P))
return 0;
pte = uvpt[PGNUM(v)];
if (!(pte & PTE_P))
return 0;
return pages[PGNUM(pte)].pp_ref;
}