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 
12 enum 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 
19 int __init arche_apb_init(void);
20 void __exit arche_apb_exit(void);
21 
22 /* Operational states for the APB device */
23 int apb_ctrl_coldboot(struct device *dev);
24 int apb_ctrl_fw_flashing(struct device *dev);
25 int apb_ctrl_standby_boot(struct device *dev);
26 void apb_ctrl_poweroff(struct device *dev);
27 
28 #endif	/* __ARCHE_PLATFORM_H */
29