tlb_lock
mutex_spin_enter(&tlb_lock);
mutex_spin_exit(&tlb_lock);
mutex_init(&tlb_lock, MUTEX_SPIN, IPL_VM);