1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 * Arche Platform driver to enable Unipro link.
4 *
5 * Copyright 2015-2016 Google Inc.
6 * Copyright 2015-2016 Linaro Ltd.
7 */
8
9#ifndef __ARCHE_PLATFORM_H
10#define __ARCHE_PLATFORM_H
11
12enum arche_platform_state {
13	ARCHE_PLATFORM_STATE_OFF,
14	ARCHE_PLATFORM_STATE_ACTIVE,
15	ARCHE_PLATFORM_STATE_STANDBY,
16	ARCHE_PLATFORM_STATE_FW_FLASHING,
17};
18
19int __init arche_apb_init(void);
20void __exit arche_apb_exit(void);
21
22/* Operational states for the APB device */
23int apb_ctrl_coldboot(struct device *dev);
24int apb_ctrl_fw_flashing(struct device *dev);
25int apb_ctrl_standby_boot(struct device *dev);
26void apb_ctrl_poweroff(struct device *dev);
27
28#endif	/* __ARCHE_PLATFORM_H */
29