What is the function definition of the printf() function as defined in the standard C library?

I need the definition to solve the following question:

Give the output of the following:

int main()
{
   int a = 2;
   int b = 5;
   int c = 10;
   printf("%d ",a,b,c);
   return 0;
}