/*
 * Copyright (c) 2021, NVIDIA Corporation. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef PSC_MAILBOX_H
#define PSC_MAILBOX_H

void tegra_psc_notify_sc7_entry(void);
void tegra_psc_wait_for_ack(void);

#endif
