Lines Matching defs:x1
274 uint64_t x1, uint64_t x2, uint64_t x3,
297 SMC_RET8(ctx, x0, x1, x2, x3, x4,
303 SMC_RET5(ctx, x0, x1, x2, x3, x4);
310 uint64_t rmmd_rmi_handler(uint32_t smc_fid, uint64_t x1, uint64_t x2,
346 x1, x2, x3, x4, handle);
357 return rmmd_smc_forward(REALM, NON_SECURE, x1,
442 uint64_t rmmd_rmm_el3_handler(uint32_t smc_fid, uint64_t x1, uint64_t x2,
465 ret = gpt_delegate_pas(x1, PAGE_SIZE_4KB, SMC_FROM_REALM);
466 SMC_RET1(handle, gpt_to_gts_error(ret, smc_fid, x1));
468 ret = gpt_undelegate_pas(x1, PAGE_SIZE_4KB, SMC_FROM_REALM);
469 SMC_RET1(handle, gpt_to_gts_error(ret, smc_fid, x1));
471 ret = rmmd_attest_get_platform_token(x1, &x2, x3);
474 ret = rmmd_attest_get_signing_key(x1, &x2, x3);
479 rmmd_rmm_sync_exit(x1);