Trivandrum Domestic is. T1 and international is T2...

Trivandrum Domestic is. T1 and international is T2.
Most of the time the boarding pass kiosk machine doesn't work. However e boarding passes are allowed.