Searched refs:arg13 (Results 1 – 2 of 2) sorted by relevance
41 uint64_t arg13; member
171 retval->arg13 = read_ctx_reg(gpregs, CTX_GPREG_X13); in spmd_encode_ctx_to_ffa_value()487 ret.arg11, ret.arg12, ret.arg13, ret.arg14, ret.arg15, in spmd_el3_populate_logical_partition_info()