/* Return PA for this VA if it is mapped by a CAM, or 0  */
phys_addr_t v_mapped_by_tlbcam(unsigned long va)
/* Return PA for this VA if it is mapped by a CAM, or 0  */
phys_addr_t v_mapped_by_tlbcam(unsigned long va)
{
	int b;
	for (b = 0; b < tlbcam_index; ++b)
		if (va >= tlbcam_addrs[b].start && va < tlbcam_addrs[b].limit)
			return tlbcam_addrs[b].phys + (va - tlbcam_addrs[b].start);
	return 0;
}