Home
last modified time | relevance | path

Searched refs:GET_ADDR64 (Results 1 – 2 of 2) sorted by relevance

/rk3399_ARM-atf/plat/intel/soc/common/include/
H A Dsocfpga_sip_svc.h365 #define GET_ADDR64(high, low) (((uint64_t)(high) \ macro
/rk3399_ARM-atf/plat/intel/soc/common/
H A Dsocfpga_sip_svc.c924 ret_args[ret_args_len++] = GET_ADDR64(resp->resp_data[1], resp->resp_data[0]);
926 ret_args[ret_args_len++] = GET_ADDR64(resp->resp_data[3], resp->resp_data[2]);
954 ret_args[ret_args_len++] = GET_ADDR64(resp->resp_data[0], resp->resp_data[1]);
956 ret_args[ret_args_len++] = GET_ADDR64(resp->resp_data[2], resp->resp_data[3]);