“device credential” is another name for Passkey.