Lines Matching defs:x1
28 uint64_t x1,
38 * x1: Boot Interface version
45 if (TRP_RMM_EL3_VERSION_GET_MAJOR(x1) != TRP_RMM_EL3_ABI_VERS_MAJOR) {
57 trp_boot_abi_version = x1;
68 int trp_validate_warmboot_args(uint64_t x0, uint64_t x1,
78 * [x1:x3]: RES0
83 return ((x1 | x2 | x3) == 0UL) ? 0 : E_RMM_BOOT_UNKNOWN;
126 static void trp_asc_mark_realm(unsigned long long x1,
129 VERBOSE("Delegating granule 0x%llx\n", x1);
130 smc_ret->x[0] = trp_smc(set_smc_args(RMM_GTSI_DELEGATE, x1,
142 static void trp_asc_mark_nonsecure(unsigned long long x1,
145 VERBOSE("Undelegating granule 0x%llx\n", x1);
146 smc_ret->x[0] = trp_smc(set_smc_args(RMM_GTSI_UNDELEGATE, x1,
159 unsigned long long x1, unsigned long long x2,
173 trp_ret_rmi_version(x1, smc_ret);
176 trp_asc_mark_realm(x1, smc_ret);
179 trp_asc_mark_nonsecure(x1, smc_ret);