Bare metal access to HPS GPIO pins

Hi, Do I need anything to init the HPS GPIO before I start using it from a bare metal application? I start debugging from DS5 and it never gets past alt_setbits_word() Does the FPGA have to be ini...