register s = splhigh();
register int s = splhigh();
m197_cmmu_flush_remote_cache(int cpu, vm_offset_t physaddr, int size){	register s = splhigh();	set_icmd(CMMU_ICMD_INV_ITIC);	set_dcmd(CMMU_DCMD_FLUSH_ALL_INV);	splx(s);}