FPGA2HPS address define

I am using HWLIB and SOCAL to implement the bare metal part of an AMP (Linux + bare metal) application. The hps.h defines quite a lot of addresses, but I can't find any define for FPGA2HPS base...