4 * Copyright (c) 2012 Samsung Electronics Co., Ltd. All rights reserved.
6 * Contact: Kyoungyoup Park <gynaru.park@samsung.com>
8 * Licensed under the Apache License, Version 2.0 (the "License");
9 * you may not use this file except in compliance with the License.
10 * You may obtain a copy of the License at
12 * http://www.apache.org/licenses/LICENSE-2.0
14 * Unless required by applicable law or agreed to in writing, software
15 * distributed under the License is distributed on an "AS IS" BASIS,
16 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
17 * See the License for the specific language governing permissions and
18 * limitations under the License.
31 VNET_CP_STATE_OFFLINE,
32 VNET_CP_STATE_CRASH_RESET,
33 VNET_CP_STATE_CRASH_EXIT,
34 VNET_CP_STATE_BOOTING,
36 VNET_CP_STATE_NV_REBUILDING,
37 VNET_CP_STATE_LOADER_DONE,
40 void vnet_start_cp_ramdump( void );
41 void vnet_start_cp_reset( void );
42 int vnet_get_cp_state( int fd );
44 int vnet_rfs0_open( void );
45 int vnet_ipc0_open( void );
51 #endif /* __cplusplus */