#include <inc/lib.h>

int
pageref(void *v)
{
	u_int pte;

	if (!(vpd[PDX(v)]&PTE_P))
		return 0;
	pte = vpt[VPN(v)];
	if (!(pte&PTE_P))
		return 0;
	return pages[PPN(pte)].pp_ref;
}