cpu_ppaddr_mutex
mutex_enter(&CPU->cpu_ppaddr_mutex);
mutex_exit(&CPU->cpu_ppaddr_mutex);
ppaddr_mutex = &CPU->cpu_ppaddr_mutex;
mutex_init(&cpup->cpu_ppaddr_mutex, NULL, MUTEX_DEFAULT, NULL);
mutex_destroy(&cpup->cpu_ppaddr_mutex);