1a2
> * Copyright (c) 2014 Raspberry Pi (Trading) Ltd. All rights reserved.
155a157,159
> VCHIQ_STATUS_T
> vchiq_use_service(VCHIQ_SERVICE_HANDLE_T handle);
>
183c187,204
< void
---
> #ifdef notyet
> extern VCHIQ_DEBUGFS_NODE_T *
> vchiq_instance_get_debugfs_node(VCHIQ_INSTANCE_T instance);
> #endif
>
> extern int
> vchiq_instance_get_use_count(VCHIQ_INSTANCE_T instance);
>
> extern int
> vchiq_instance_get_pid(VCHIQ_INSTANCE_T instance);
>
> extern int
> vchiq_instance_get_trace(VCHIQ_INSTANCE_T instance);
>
> extern void
> vchiq_instance_set_trace(VCHIQ_INSTANCE_T instance, int trace);
>
> extern void
187c208
< void
---
> extern void
191c212
< void
---
> extern void
194,199d214
< extern int vchiq_proc_init(void);
< extern void vchiq_proc_deinit(void);
< extern struct proc_dir_entry *vchiq_proc_top(void);
< extern struct proc_dir_entry *vchiq_clients_top(void);
<
<