12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485 |
- /*
- * 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);
- }
|