Pedro Carrillo de Avila

Hello,
Looking for the parents of Pedro Carrillo de Avila. On some of family trees published online is mentioned that Pedro Carrillo de Avila (husband of Maria Sancha de Velmar) was the son of JORGE HERNANDEZ and INES DE OJEDA. Unfortunately the trees don't have the source for this information. Any idea where to find this information?

Any info would be greatly appreciated

Thank you

susana L