ARM pmap_enter_pv question

[Mark Tinguely]

in pmap_enter_pv(), it seems to me there is an "else" missing:

	if (pm == pmap_kernel()) {
		if (flags & PVF_WRITE)
			pg->md.krw_mappings++;
		else
			pg->md.kro_mappings++;
	}					<<<< is there a "else" missing?
	if (flags & PVF_WRITE)
		pg->md.urw_mappings++;
	else
		pg->md.uro_mappings++;

I don't think it will effect any caching settings.

--Mark Tinguely.