instruction to set GPIO as high

Hey,

I would like to set some (no specific) GPIO to high on EVK.

Could you share me the instruction?

thanks, 

Related