emuxki_get_locks
static void emuxki_get_locks(void *, kmutex_t **, kmutex_t **);
.get_locks = emuxki_get_locks,