Dubbuṭṭhi untranslated

Dubbuṭṭhi. A king of Ceylon. He held a Giribhaṇḍamahāpūjā. Ras.ii.183,185.