private static void lockInit(ptr <mutex> _addr_l, lockRank rank) { ref mutex l = ref _addr_l.val;
public heldLockInfo(System.UIntPtr lockAddr = default, lockRank rank = default) { this.lockAddr = lockAddr; this.rank = rank; }
public lockRankStruct(lockRank rank = default, long pad = default) { this.rank = rank; this.pad = pad; }