__syncicache
__syncicache(where, 4);
__syncicache(pltcall, (char *)jmptab - (char *)pltcall);
__syncicache(where, 4);
__syncicache(where - 3, 12);
__syncicache((void *)marks[MARK_ENTRY],
__syncicache((void *)WIIU_BOOT_VECTOR, sizeof(cpu_start_code));
__syncicache((void *)EXC_RST, 0x100);
__syncicache((void *)msgbuf_paddr, round_page(MSGBUFSIZE));
__syncicache((void *)msgbuf_paddr, round_page(MSGBUFSIZE));
__syncicache((void *)(uintptr_t)entry, (size_t)ssym - entry);
extern void __syncicache(void *, size_t); /* in libkern */
__syncicache((void *)(uintptr_t)entry, (uintptr_t) ssym - entry);
__syncicache((void *)msgbuf_paddr, round_page(MSGBUFSIZE));
__syncicache((void *)EXC_RST, EXC_LAST - EXC_RST + 0x100);
__syncicache((void *)&extint_call, sizeof extint_call);
__syncicache((void *)EXC_EXI, (int)&extsize);
__syncicache((void *)pa, tlen);
__syncicache((void *)pa, PAGE_SIZE);
void __syncicache(void *, size_t);
__syncicache((void *)(from), (size_t)((to) - (from)))
__syncicache((void *) trapstart,
__syncicache(dsitrap_fix_dbat4, 16);
__syncicache(dsitrap_fix_dbat7, 8);
__syncicache(ip, sizeof(*ip));
__syncicache((void *)exc_base, EXC_LAST + 0x100);
__syncicache((void *)extint_call, sizeof extint_call[0]);
__syncicache((void *)exc_exi_base, (size_t)extsize);
__syncicache((void *)db_ppc4xx_dcrfunc, sizeof(db_ppc4xx_dcrfunc));
__syncicache((void *)db_ppc4xx_dcrfunc, sizeof(db_ppc4xx_dcrfunc));
__syncicache((void *)addr, size);
__syncicache(base, size);
__syncicache((void *)pa, len);
__syncicache((void *)pa, len);
__syncicache((void *)EXC_RST, 0x100);
__syncicache((void *)marks[MARK_ENTRY],
void __syncicache(const void *, size_t);
__syncicache((void *)marks[MARK_ENTRY],
__syncicache(0, 0x1400);
void __syncicache(void *, size_t);
__syncicache((void *)0xf0000,
__syncicache((void *)marks[MARK_ENTRY],
void __syncicache(void *, size_t);