4 * Copyright (c) 2013 Samsung Electronics Co. Ltd. All rights reserved.
6 * Licensed under the Apache License, Version 2.0 (the "License");
7 * you may not use this file except in compliance with the License.
8 * You may obtain a copy of the License at
10 * http://www.apache.org/licenses/LICENSE-2.0
12 * Unless required by applicable law or agreed to in writing, software
13 * distributed under the License is distributed on an "AS IS" BASIS,
14 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 * See the License for the specific language governing permissions and
16 * limitations under the License.
28 VNET_CP_STATE_UNKNOWN = -1,
29 VNET_CP_STATE_OFFLINE = 0,
30 VNET_CP_STATE_CRASH_RESET,
31 VNET_CP_STATE_CRASH_EXIT,
32 VNET_CP_STATE_BOOTING,
34 VNET_CP_STATE_NV_REBUILDING,
35 VNET_CP_STATE_LOADER_DONE,
38 void vnet_start_cp_ramdump(void);
39 void vnet_start_cp_reset(void);
41 VnetCpState vnet_get_cp_state(int fd);
43 int vnet_rfs0_open(void);
44 int vnet_ipc0_open(void);
49 #endif /* __cplusplus */
51 #endif /* __VNET_H__ */