/* @addr: Address of base of memory region to read into L2 cache @len: Length (in bytes) of region to fault in  */
static void fault_in(uint64_t addr, int len)
/* @addr: Address of base of memory region to read into L2 cache @len: Length (in bytes) of region to fault in  */
static void fault_in(uint64_t addr, int len)
{
	volatile char *ptr;
	volatile char dummy;
	len += addr & CVMX_CACHE_LINE_MASK;
	addr &= ~CVMX_CACHE_LINE_MASK;
	ptr = (volatile char *)cvmx_phys_to_ptr(addr);
	CVMX_DCACHE_INVALIDATE;
	while (len > 0) {
		dummy += *ptr;
		len -= CVMX_CACHE_LINE_SIZE;
		ptr += CVMX_CACHE_LINE_SIZE;
	}
}