{
u_int cpuid, i;
sched_pin();
cpuid = PCPU_GET(cpuid);
if (pmap != PCPU_GET(curpmap))
cpuid = 0xffffffff; /* An impossible value */
static void
pmap_invalidate_preipi_nopcid(pmap_t pmap __unused)
}
DEFINE_IFUNC(static, void, pmap_invalidate_preipi, (pmap_t), static)
void
pmap_invalidate_cache(void)
smp_cache_flush(pmap_invalidate_cache_curcpu_cb);
* underlying processor, even when this processor is not set in the
* mask. So, the callback function must be prepared to handle such
* spurious invocations.
*
* This function must be called with the thread pinned, and it unpins on
* completion.
*/
smp_targeted_tlb_shootdown(cpuset_t mask, u_int vector, pmap_t pmap,
volatile uint32_t *p_cpudone;
uint32_t generation;
int cpu;
/*
* It is not necessary to signal other CPUs while booting or