VM_ALLOC_CPU
vmflags |= VM_ALLOC_CPU((mycpu->gd_cpuid + (u_short)ticks) % ncpus);
return VM_ALLOC_CPU(KM_GETCPU(kmflags));