/* This is easy using the virtual page table address.  */
static void* find_pa(unsigned long *vptb, void *ptr)
/* This is easy using the virtual page table address.  */
static void* find_pa(unsigned long *vptb, void *ptr)
{
	unsigned long address = (unsigned long) ptr;
	unsigned long result;
	result = vptb[address >> 13];
	result >>= 32;
	result <<= 13;
	result |= address & 0x1fff;
	return (void *) result;
}