sys/arch/arm/arm32/pmap.c

5317

KASSERT(!kcpuset_isotherset(pm->pm_onproc, cpu_index(ci)));

sys/arch/x86/acpi/acpi_wakeup.c

327

while (kcpuset_isotherset(kcpuset_running, cid)) {

sys/arch/x86/x86/svs.c

591

if (!kcpuset_isotherset(pmap->pm_kernel_cpus, cid)) {

sys/arch/x86/x86/x86_tlb.c

197

remote = kcpuset_isotherset(pm->pm_kernel_cpus, cid);

sys/arch/x86/x86/x86_tlb.c

200

remote |= kcpuset_isotherset(pm->pm_cpus, cid);

sys/sys/kcpuset.h

61

bool kcpuset_isotherset(const kcpuset_t *, cpuid_t);

sys/uvm/pmap/pmap.c

1769

KASSERT(!kcpuset_isotherset(pmap->pm_onproc, cpu_index(curcpu())));

sys/uvm/pmap/pmap_tlb.c

1044

KASSERT(!kcpuset_isotherset(pm->pm_onproc, cpu_index(ci)));