Gajakumbhakapāsāṇa untranslated

Gajakumbhakapāsāṇa. A locality in Ceylon, through which passed the Sīmā marked out by Devānampiyatissa for the Mahā Vihāra. Mhv., p.332, v.12; Dpv.xiv.35; Mbv.135.