Да, но /dev/mapper не содержится нигде, это просто расшифрованная версия /dev/sda2 ))) Система же ничего незнает о том что она зашифрована, поэтому для системы нужно сделать так как будто диск не зашифрован. Вот он и в маппер расшифровывается и система работает с ним как с обычным диском.