Searched refs:bl31dst_addrh (Results 1 – 2 of 2) sorted by relevance
157 const uint32_t __attribute__ ((section (".sa6_bl31dst_addrh"))) bl31dst_addrh = RCAR_BL31DST_ADDRES… variable
180 bl31dst_addrh = RCAR_BL31DST_ADDRESSH; variable