Changeset View

Standalone View

	Show First 20 Lines • Show All 7,436 Lines • ▼ Show 20 Lines
	}			}

	static uint64_t			static uint64_t
	pmap_pcid_alloc_checked(pmap_t pmap, u_int cpuid)			pmap_pcid_alloc_checked(pmap_t pmap, u_int cpuid)
	{			{
	uint64_t cached;			uint64_t cached;

	cached = pmap_pcid_alloc(pmap, cpuid);			cached = pmap_pcid_alloc(pmap, cpuid);
	KASSERT(pmap->pm_pcids[cpuid].pm_pcid >= 0 &&			KASSERT(pmap->pm_pcids[cpuid].pm_pcid < PMAP_PCID_OVERMAX,
	pmap->pm_pcids[cpuid].pm_pcid < PMAP_PCID_OVERMAX,
	("pmap %p cpu %d pcid %#x", pmap, cpuid,			("pmap %p cpu %d pcid %#x", pmap, cpuid,
	pmap->pm_pcids[cpuid].pm_pcid));			pmap->pm_pcids[cpuid].pm_pcid));
	KASSERT(pmap->pm_pcids[cpuid].pm_pcid != PMAP_PCID_KERN \|\|			KASSERT(pmap->pm_pcids[cpuid].pm_pcid != PMAP_PCID_KERN \|\|
	pmap == kernel_pmap,			pmap == kernel_pmap,
	("non-kernel pmap pmap %p cpu %d pcid %#x",			("non-kernel pmap pmap %p cpu %d pcid %#x",
	pmap, cpuid, pmap->pm_pcids[cpuid].pm_pcid));			pmap, cpuid, pmap->pm_pcids[cpuid].pm_pcid));
	return (cached);			return (cached);
	}			}
	▲ Show 20 Lines • Show All 864 Lines • Show Last 20 Lines