Searched refs:vmc_cpu_active (Results 1 – 1 of 1) sorted by relevance
174 int vmc_cpu_active; member991 vmc->vmc_cpu_active = -1; in vmspace_client_alloc()1072 ASSERT3S(vmc->vmc_cpu_active, ==, -1); in vmc_table_enter()1079 vmc->vmc_cpu_active = CPU->cpu_id; in vmc_table_enter()1098 vmc->vmc_cpu_active = -1; in vmc_table_exit()1133 poke_cpu(vmc->vmc_cpu_active); in vmc_space_release()1163 poke_cpu(vmc->vmc_cpu_active); in vmc_space_invalidate()