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.c923 ret_args[ret_args_len++] = GET_ADDR64(resp->resp_data[1], resp->resp_data[0]);
925 ret_args[ret_args_len++] = GET_ADDR64(resp->resp_data[3], resp->resp_data[2]);
953 ret_args[ret_args_len++] = GET_ADDR64(resp->resp_data[0], resp->resp_data[1]);
955 ret_args[ret_args_len++] = GET_ADDR64(resp->resp_data[2], resp->resp_data[3]);