Function aliased_lock 

pub fn aliased_lock<'a, Class1: LockClass, Class2: LockClass, M1: RawLock, M2: RawLock>(
    lock1: &'a KMutex<Class1, M1>,
    lock2: &'a KMutex<Class2, M2>,
) -> impl PinInit<KMutexAliasedGuard<'a, Class1, Class2, M1, M2>, Infallible>
where
    <M1 as RawLock>::DefaultPolicy: LockPolicy<M1, AcquireArgs = ()>,

Acquires an aliased lock on two KMutex instances that reference the same underlying lock.

Only lock1 is physically acquired, but the resulting guard holds proof tokens for both Class1 and Class2.