Searched refs:spmd_build_spmc_message (Results 1 – 1 of 1) sorted by relevance
17 static void spmd_build_spmc_message(gp_regs_t *gpregs, unsigned long long message) in spmd_build_spmc_message() function132 spmd_build_spmc_message(get_gpregs_ctx(&ctx->cpu_ctx), PSCI_CPU_OFF); in spmd_cpu_off_handler()