Searched refs:ADDR_64 (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/plat/intel/soc/common/ |
| H A D | socfpga_ros.c | 63 current_image = ADDR_64(rsu_status[1], rsu_status[0]); in get_current_image_index()
136 VERBOSE("ROS: SPT0 0x%08lx\n", ADDR_64(spt_offset[0], spt_offset[1])); in get_spt()
137 VERBOSE("ROS: SPT1 0x%08lx\n", ADDR_64(spt_offset[2], spt_offset[3])); in get_spt()
140 ret = load_and_check_spt(spt_buf, ADDR_64(spt_offset[2], spt_offset[3])); in get_spt()
143 ret = load_and_check_spt(spt_buf, ADDR_64(spt_offset[0], spt_offset[1])); in get_spt()
|
| /rk3399_ARM-atf/plat/intel/soc/common/include/ |
| H A D | socfpga_ros.h | 24 #define ADDR_64(h, l) (((((unsigned long)(h)) & 0xffffffff) << 32) | \ macro
|