/*
 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: GPL-2.0-only
 */

#pragma once


#define PSCI_SUCCESS                 0
#define PSCI_NOT_SUPPORTED          -1
#define PSCI_INVALID_PARAMETERS     -2
#define PSCI_DENIED                 -3
#define PSCI_ALREADY_ON             -4
#define PSCI_ON_PENDING             -5
#define PSCI_INTERNAL_FAILURE       -6
#define PSCI_NOT_PRESETN            -7
#define PSCI_DISABLED               -8
#define PSCI_INVALID_ADDRESS        -9

#define PSCI_METHOD_SMC             1
#define PSCI_METHOD_HVC             2

int psci_version(void);
int psci_cpu_suspend(int power_state, unsigned long entry_point,
                     unsigned long context_id);
/* this function does not return when successful */
int psci_cpu_off(void);
int psci_cpu_on(unsigned long target_cpu, unsigned long entry_point,
                unsigned long context_id);
int psci_system_reset(void);