Name of domestic airport in chennai?

The domestic airport of Chennai is within Chennai International Airport. It has it's own designated terminal and is known as the Chennai Domestic Terminal.