/* User-level locks:
   This structure is attached (using ext magic) to any shared SV that