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.
19 #ifndef __IMC_DISPATCH_H__
20 #define __IMC_DISPATCH_H__
22 void do_factory(TcoreHal *h, const ipc_message_type *ipc);
23 void do_notification_message(TcorePlugin *p, const ipc_message_type *ipc);
24 void do_notification_sys_message(TcorePlugin *p, const void *data);
26 #endif /* __IMC_DISPATCH_H__ */