| /* |
| * Copyright (c) 2014-2020, ARM Limited and Contributors. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #include <assert.h> |
| #include <stddef.h> |
| |
| #include <arch_helpers.h> |
| #include <common/debug.h> |
| #include <drivers/console.h> |
| #include <plat/common/platform.h> |
| |
| #include "psci_private.h" |
| |
| void __dead2 psci_system_off(void) |
| { |
| psci_print_power_domain_map(); |
| |
| assert(psci_plat_pm_ops->system_off != NULL); |
| |
| /* Notify the Secure Payload Dispatcher */ |
| if ((psci_spd_pm != NULL) && (psci_spd_pm->svc_system_off != NULL)) { |
| psci_spd_pm->svc_system_off(); |
| } |
| |
| console_flush(); |
| |
| /* Call the platform specific hook */ |
| psci_plat_pm_ops->system_off(); |
| |
| /* This function does not return. We should never get here */ |
| } |
| |
| void __dead2 psci_system_reset(void) |
| { |
| psci_print_power_domain_map(); |
| |
| assert(psci_plat_pm_ops->system_reset != NULL); |
| |
| /* Notify the Secure Payload Dispatcher */ |
| if ((psci_spd_pm != NULL) && (psci_spd_pm->svc_system_reset != NULL)) { |
| psci_spd_pm->svc_system_reset(); |
| } |
| |
| console_flush(); |
| |
| /* Call the platform specific hook */ |
| psci_plat_pm_ops->system_reset(); |
| |
| /* This function does not return. We should never get here */ |
| } |
| |
| u_register_t psci_system_reset2(uint32_t reset_type, u_register_t cookie) |
| { |
| unsigned int is_vendor; |
| |
| psci_print_power_domain_map(); |
| |
| assert(psci_plat_pm_ops->system_reset2 != NULL); |
| |
| is_vendor = (reset_type >> PSCI_RESET2_TYPE_VENDOR_SHIFT) & 1U; |
| if (is_vendor == 0U) { |
| /* |
| * Only WARM_RESET is allowed for architectural type resets. |
| */ |
| if (reset_type != PSCI_RESET2_SYSTEM_WARM_RESET) |
| return (u_register_t) PSCI_E_INVALID_PARAMS; |
| if ((psci_plat_pm_ops->write_mem_protect != NULL) && |
| (psci_plat_pm_ops->write_mem_protect(0) < 0)) { |
| return (u_register_t) PSCI_E_NOT_SUPPORTED; |
| } |
| } |
| |
| /* Notify the Secure Payload Dispatcher */ |
| if ((psci_spd_pm != NULL) && (psci_spd_pm->svc_system_reset != NULL)) { |
| psci_spd_pm->svc_system_reset(); |
| } |
| console_flush(); |
| |
| return (u_register_t) |
| psci_plat_pm_ops->system_reset2((int) is_vendor, reset_type, |
| cookie); |
| } |