register s = splhigh();
register int s = splhigh();
m197_cmmu_flush_remote_tlb(unsigned cpu, unsigned kernel, vm_offset_t vaddr, int size){	register s = splhigh();	if (kernel) {		set_icmd(CMMU_ICMD_INV_SATC);		set_dcmd(CMMU_DCMD_INV_SATC);	} else {		set_icmd(CMMU_ICMD_INV_UATC);		set_dcmd(CMMU_DCMD_INV_UATC);	}	splx(s);}