register s = splhigh();
register int s = splhigh();
m197_cmmu_sync_cache(vm_offset_t physaddr, int size){	register s = splhigh();	int cpu;	cpu = cpu_number(); 	/* set_mmureg(CMMU_ICTL, CMMU_ICMD_INV_TIC); */	set_dcmd(CMMU_DCMD_FLUSH_ALL);	splx(s);}