Lines Matching defs:gpregs
125 gp_regs_t *gpregs = get_gpregs_ctx(&ctx->cpu_ctx);
126 spmd_build_spmc_message(gpregs, FFA_FWK_MSG_PSCI, PSCI_CPU_OFF);
129 write_ctx_reg(gpregs, CTX_GPREG_X8, 0);
130 write_ctx_reg(gpregs, CTX_GPREG_X9, 0);
131 write_ctx_reg(gpregs, CTX_GPREG_X10, 0);
132 write_ctx_reg(gpregs, CTX_GPREG_X11, 0);
133 write_ctx_reg(gpregs, CTX_GPREG_X12, 0);
134 write_ctx_reg(gpregs, CTX_GPREG_X13, 0);
135 write_ctx_reg(gpregs, CTX_GPREG_X14, 0);
136 write_ctx_reg(gpregs, CTX_GPREG_X15, 0);
137 write_ctx_reg(gpregs, CTX_GPREG_X16, 0);
138 write_ctx_reg(gpregs, CTX_GPREG_X17, 0);