MULTI_update_va_mapping|MULTI_update_va_mapping MULTI_update_va_mapping_otherdomain|MULTI_update_va_mapping_otherdomain mutex_destroy|mutex_destroy mutex_init|mutex_init mutex_owned|mutex_owned mutex_owner|mutex_owner mutex_spin_retry|mutex_spin_retry mutex_tryenter|mutex_tryenter mutex_vector_enter|mutex_vector_enter mutex_vector_exit|mutex_vector_exit mutex_obj_alloc|mutex_obj_alloc mutex_obj_free|mutex_obj_free mutex_obj_hold|mutex_obj_hold mutex_obj_init|mutex_obj_init murmurhash2|murmurhash2