VAC_FLUSH_BASE
va = (char *) VAC_FLUSH_BASE;
endva = (char *) (VAC_FLUSH_BASE + cache_size);
pgva |= VAC_FLUSH_BASE;
sgva |= VAC_FLUSH_BASE;