Add auxiliary function lock_rec_get_index() to retrieve the index on
which the lock is.

Approved by:	Heikki