len = len + (((u_int32_t) from) & (CACHELINESIZE - 1)); l = len;
syncicache(void *from, int len){	int l = len;	char *p = from;		do {		__asm__ __volatile__ ("dcbst 0,%0" :: "r"(p));		p += CACHELINESIZE;	} while ((l -= CACHELINESIZE) > 0);	__asm__ __volatile__ ("sync");	p = from;	l = len;	do {		__asm__ __volatile__ ("icbi 0,%0" :: "r"(p));		p += CACHELINESIZE;	} while ((l -= CACHELINESIZE) > 0);	__asm__ __volatile__ ("isync");}